Conference paper

 
Jirák, O., Kolář, D.: Derivation in Scattered Context Grammar via Lazy Function Evaluation, In: Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09), Wadern, DE, DROPS, 2009, p. 10, ISBN 978-3-939897-15-6, ISSN 2190-6807
Publication language:english
Original title:Derivation in Scattered Context Grammar via Lazy Function Evaluation
Title (cs):Derivace gramatik s rozptýleným kontextem pomocí líného vyhodnocení funkcí
Pages:10
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
Place:Wadern, DE
Year:2009
ISBN:978-3-939897-15-6
Journal:OpenAccess Series in Informatics (OASIcs), No. 13, Wadern, DE
ISSN:2190-6807
Publisher:Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
URL:http://drops.dagstuhl.de/opus/volltexte/2009/2351/pdf/09006.JirakOta.2351.pdf [PDF]
Keywords
scattered context grammars, SCG, delayed execution, lazy evaluation, derivation
Annotation
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.
BibTeX:
@INPROCEEDINGS{
   author = {Ota Jirák and Dušan Kolář},
   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 = {http://www.fit.vutbr.cz/research/view_pub.php?id=9150}
}