License: 
Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license (CC BY-NC-ND 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/DROPS.MEMICS.2009.2351
URN: urn:nbn:de:0030-drops-23517
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2009/2351/
Jirák, Ota ;
Kolář, Dušan
Derivation in Scattered Context Grammar via Lazy Function Evaluation
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.
BibTeX - Entry
@InProceedings{jirk_et_al:OASIcs:2009:2351,
author = {Ota Jir{\'a}k and Du{\v{s}}an Kol{\'a}ř},
title = {{Derivation in Scattered Context Grammar via Lazy Function Evaluation}},
booktitle = {Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09)},
pages = {27--36},
series = {OpenAccess Series in Informatics (OASIcs)},
ISBN = {978-3-939897-15-6},
ISSN = {2190-6807},
year = {2009},
volume = {13},
editor = {Petr Hlinen{\'y} and V{\'a}clav Maty{\'a}{\v{s}} and Tom{\'a}{\v{s}} Vojnar},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2009/2351},
URN = {urn:nbn:de:0030-drops-23517},
doi = {10.4230/DROPS.MEMICS.2009.2351},
annote = {Keywords: SCG, delayed execution, derivation, lazy evaluation}
}
|
Keywords: |
|
SCG, delayed execution, derivation, lazy evaluation |
|
Collection: |
|
Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09) |
|
Issue Date: |
|
2009 |
|
Date of publication: |
|
15.12.2009 |
