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

scattered context grammars, SCG, delayed execution, lazy evaluation, derivation

Abstract

This paper is extension of the article published in the MEMICS'09 conference. 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
10
Journal
OpenAccess Series in Informatics (OASIcs), no. 13, ISSN 2190-6807
Proceedings
Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09)
Conference
MEMICS'09 -- 5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Znojmo, CZ
ISBN
978-3-939897-15-6
Publisher
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Place
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"
}
Back to top