Derivation in Scattered Context Grammar via Lazy Function Evaluation

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F09%3APU86255" target="_blank" >RIV/00216305:26230/09:PU86255 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Derivation in Scattered Context Grammar via Lazy Function Evaluation
Original language description
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.
Czech name
—
Czech description
—

Project
<a href="/en/project/2C06008" target="_blank" >2C06008: Virtual Laboratory of Microprocessor Technology Application</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year
2009
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection
Dagstuhl Post-proceedings of the Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09)
ISBN
978-3-939897-15-6
ISSN
—
e-ISSN
—
Number of pages
10
Pages from-to
—
Publisher name
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Place of publication
Wadern
Event location
Znojmo
Event date
Nov 13, 2009
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—

Similar results(10)