Publication Details

Derivation in Scattered Context Grammar via Lazy Function Evaluation

JIRÁK, O.; KOLÁŘ, D. Derivation in Scattered Context Grammar via Lazy Function Evaluation. 5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masaryk University, 2009. p. 118-125. ISBN: 978-80-87342-04-6.

Czech title

Derivace gramatik s rozptýleným kontextem pomocí líného vyhodnocení funkcí

Type

conference paper

Language

English

Authors

Jirák Ota, Ing.
Kolář Dušan, doc. Dr. Ing. (DIFS)

Keywords

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

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.

Published

2009

Pages

118–125

Proceedings

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

ISBN

978-80-87342-04-6

Publisher

Masaryk University

Place

Brno

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