Detail publikačního výsledku

Derivation in Scattered Context Grammar via Lazy Function Evaluation

JIRÁK, O.; KOLÁŘ, D.

Originální název

Derivation in Scattered Context Grammar via Lazy Function Evaluation

Anglický název

Derivation in Scattered Context Grammar via Lazy Function Evaluation

Druh

Stať ve sborníku mimo WoS a Scopus

Originální abstrakt

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.

Anglický abstrakt

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.

Klíčová slova

scattered context grammars, SCG, delayed execution, lazy evaluation, derivation

Klíčová slova v angličtině

scattered context grammars, SCG, delayed execution, lazy evaluation, derivation

Autoři

JIRÁK, O.; KOLÁŘ, D.

Rok RIV

2010

Vydáno

15.11.2009

Nakladatel

Masaryk University

Místo

Brno

ISBN

978-80-87342-04-6

Kniha

5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science

Strany od

118

Strany do

125

Strany počet

8

BibTex

@inproceedings{BUT34290,
  author="Ota {Jirák} and Dušan {Kolář}",
  title="Derivation in Scattered Context Grammar via Lazy Function Evaluation",
  booktitle="5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science",
  year="2009",
  pages="118--125",
  publisher="Masaryk University",
  address="Brno",
  isbn="978-80-87342-04-6"
}