Publication result detail

Derivation in Scattered Context Grammar via Lazy Function Evaluation

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

Original Title

Derivation in Scattered Context Grammar via Lazy Function Evaluation

English Title

Derivation in Scattered Context Grammar via Lazy Function Evaluation

Type

Paper in proceedings outside WoS and Scopus

Original Abstract

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.

English abstract

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.

Keywords

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

Key words in English

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

Authors

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

RIV year

2010

Released

15.11.2009

Publisher

Masaryk University

Location

Brno

ISBN

978-80-87342-04-6

Book

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

Pages from

118

Pages to

125

Pages count

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"
}