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: Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09). Wadern: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2009, s. 10. ISBN 978-3-939897-15-6. ISSN 2190-6807.
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)
URL
Klíčová slova

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

Abstrakt

Tento článek je rozšířením článku publikovaném na konferenci MEMICS'09. 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
10
Časopis
OpenAccess Series in Informatics (OASIcs), č. 13, ISSN 2190-6807
Sborník
Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09)
Konference
MEMICS'09 -- 5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Znojmo, CZ
ISBN
978-3-939897-15-6
Vydavatel
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Místo
Wadern, DE
BibTeX 
@INPROCEEDINGS{FITPUB9150,
   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 = 10,
   booktitle = "Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09)",
   journal = "OpenAccess Series in Informatics (OASIcs)",
   number = 13,
   year = 2009,
   location = "Wadern, DE",
   publisher = "Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik",
   ISBN = "978-3-939897-15-6",
   ISSN = "2190-6807",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/9150"
}
Nahoru