Článek ve sborníku konference | |
| Jirák, O., Kolář, D.: Derivation in Scattered Context Grammar via Lazy Function Evaluation, In: 5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Brno, CZ, MUNI, 2009, s. 118-125, ISBN 978-80-87342-04-6 | | Jazyk publikace: | angličtina |
|---|
| Název publikace: | Derivation in Scattered Context Grammar via Lazy Function Evaluation |
|---|
| Název (cs): | Derivace gramatik s rozptýleným kontextem pomocí líného vyhodnocení funkcí |
|---|
| Strany: | 118-125 |
|---|
| Sborník: | 5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science |
|---|
| Konference: | MEMICS'09 -- 5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science |
|---|
| Místo vydání: | Brno, CZ |
|---|
| Rok: | 2009 |
|---|
| ISBN: | 978-80-87342-04-6 |
|---|
| Vydavatel: | Masarykova universita |
|---|
| Klíčová slova |
|---|
| gramatiky s rozptýleným kontextem, SCG, odložené zpracování, líné vyhodnocování, derivace |
| Anotace |
|---|
| Tento článek diskutuje gramatiky s rozptýleným kontextem (SCG) a zvažuje aplikování jejich pravidel. Používáme funkci, která reprezentuje jeden derivační krok nad danou větnou formou. Definujeme funkci, která reprezentuje odložené zpracování pravidel ze SCG. Používáme stejných principů líného vyhodnocování, kterého se používá ve funkcionálním programování. Na závěr dokážeme ekvivalenci normální a odložené derivace v gramatikách s rozptýleným kontextem. |
| BibTeX: |
|---|
@INPROCEEDINGS{
author = {Ota Jirák and Dušan Kolář},
title = {Derivation in Scattered Context Grammar via Lazy Function
Evaluation},
pages = {118--125},
booktitle = {5th Doctoral Workshop on Mathematical and Engineering
Methods in Computer Science},
year = {2009},
location = {Brno, CZ},
publisher = {Masaryk University},
ISBN = {978-80-87342-04-6},
language = {english},
url = {http://www.fit.vutbr.cz/research/view_pub.php?id=9109}
} |
|