"309581" . . . "Znojmo" . . . . "Derivation in Scattered Context Grammar via Lazy Function Evaluation"@en . "scattered context grammars, SCG, delayed execution, lazy evaluation, derivation"@en . "RIV/00216305:26230/09:PU86255!RIV10-MSM-26230___" . . . . . "978-3-939897-15-6" . "Jir\u00E1k, Ota" . "26230" . . . "Dagstuhl Post-proceedings of the Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09)" . "Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik" . "10"^^ . "2009-11-13+01:00"^^ . . . . . "P(2C06008), Z(MSM0021630528)" . . . "RIV/00216305:26230/09:PU86255" . "2"^^ . "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."@en . "Kol\u00E1\u0159, Du\u0161an" . . "Derivation in Scattered Context Grammar via Lazy Function Evaluation" . "[221CA9BC31D6]" . "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." . "2"^^ . . "Derivation in Scattered Context Grammar via Lazy Function Evaluation" . "Derivation in Scattered Context Grammar via Lazy Function Evaluation"@en . "Wadern" . . .