2026-08-05T21:33:21Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:2351 2024-03-06T10:28:41Z ddc:004 open_access

Derivation in Scattered Context Grammar via Lazy Function Evaluation Jirák, Ota Kolář, Dušan SCG delayed execution derivation lazy evaluation 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Ota Jirák and Dušan Kolář 2009 Is Part Of OASIcs, Volume 13, Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09) (2009) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DROPS.MEMICS.2009.2351 urn:nbn:de:0030-drops-23517 https://drops.dagstuhl.de/entities/document/10.4230/DROPS.MEMICS.2009.2351 eng https://creativecommons.org/licenses/by-nc-nd/3.0/legalcode