Detail publikace

Derivation in Scattered Context Grammar via Lazy Function Evaluation

JIRÁK Ota a KOLÁŘ Dušan. Derivation in Scattered Context Grammar via Lazy Function Evaluation. In: 5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masarykova universita, 2009, s. 118-125. ISBN 978-80-87342-04-6.
Název česky
Derivace gramatik s rozptýleným kontextem pomocí líného vyhodnocení funkcí
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Jirák Ota, Ing. (UIFS FIT VUT)
Kolář Dušan, doc. Dr. Ing. (UIFS FIT VUT)
Klíčová slova

gramatiky s rozptýleným kontextem, SCG, odložené zpracování, líné vyhodnocování, derivace

Abstrakt

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.

Rok
2009
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, Znojmo, CZ
ISBN
978-80-87342-04-6
Vydavatel
Masarykova universita
Místo
Brno, CZ
BibTeX
@INPROCEEDINGS{FITPUB9109,
   author = "Ota Jir\'{a}k and Du\v{s}an Kol\'{a}\v{r}",
   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 = "https://www.fit.vut.cz/research/publication/9109"
}
Nahoru