Faculty of Information Technology, BUT

Publication Details

Derivation in Scattered Context Grammar via Lazy Function Evaluation

JIRÁK Ota and 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: Masaryk University, 2009, pp. 118-125. ISBN 978-80-87342-04-6.
Czech title
Derivace gramatik s rozptýleným kontextem pomocí líného vyhodnocení funkcí
Type
conference paper
Language
english
Authors
Jirák Ota, Ing. (DIFS FIT BUT)
Kolář Dušan, doc. Dr. Ing. (DIFS FIT BUT)
Keywords
scattered context grammars, SCG, delayed execution, lazy evaluation, derivation
Abstract
This paper discusses scattered context grammars (SCG) and considers the application of scattered context grammar production rules. We use function that represents single derivation step over the given sentential form. Moreover, we define this function in such a way, so that it represents the delayed execution of scattered context grammar production rules using the same principles as a lazy evaluation in functional programming. Finally, we prove equivalence of the usual and the delayed execution of SCG production rules.
Published
2009
Pages
118-125
Proceedings
5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
Conference
MEMICS'09 -- 5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Znojmo, CZ
ISBN
978-80-87342-04-6
Publisher
Masaryk University
Place
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"
}
Back to top