Derivation in Scattered Context Grammar via Lazy Function Evaluation

Kód výsledku v 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>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Derivation in Scattered Context Grammar via Lazy Function Evaluation

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Derivation in Scattered Context Grammar via Lazy Function Evaluation

Popis výsledku anglicky

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.

Druh

D - Stať ve sborníku

CEP obor

JC - Počítačový hardware a software

OECD FORD obor

—

Projekt

<a href="/cs/project/2C06008" target="_blank" >2C06008: Virtuální laboratoř aplikace mikroprocesorové techniky</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2009

Kód důvěrnosti údajů

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

Název statě ve sborníku

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

—

Počet stran výsledku

10

Strana od-do

—

Název nakladatele

Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik

Místo vydání

Wadern

Místo konání akce

Znojmo

Datum konání akce

13. 11. 2009

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—