Detail publikace

Derivation in Scattered Context Grammar via Lazy Function Evaluation

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

Jazyk

en

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.

BibTex


@inproceedings{BUT34290,
  author="Ota {Jirák} and Dušan {Kolář}",
  title="Derivation in Scattered Context Grammar via Lazy Function Evaluation",
  annote="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.",
  address="Masaryk University",
  booktitle="5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science",
  chapter="34290",
  edition="NEUVEDEN",
  howpublished="print",
  institution="Masaryk University",
  year="2009",
  month="november",
  pages="118--125",
  publisher="Masaryk University",
  type="conference paper"
}