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 is extension of the article published in the MEMICS'09 conference. This paper discusses scattered context grammars (SCG) and considers theapplication of scattered context grammar production rules. We usefunction that represents single derivation step over the givensentential form. Moreover, we define this function in such a way, sothat it represents the delayed execution of scattered context grammarproduction rules using the same principles as a lazy evaluation infunctional programming. Finally, we prove equivalence of the usual andthe delayed execution of SCG production rules.

English abstract

This paper is extension of the article published in the MEMICS'09 conference. This paper discusses scattered context grammars (SCG) and considers theapplication of scattered context grammar production rules. We usefunction that represents single derivation step over the givensentential form. Moreover, we define this function in such a way, sothat it represents the delayed execution of scattered context grammarproduction rules using the same principles as a lazy evaluation infunctional programming. Finally, we prove equivalence of the usual andthe 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.12.2009

Publisher

Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik

Location

Wadern

ISBN

978-3-939897-15-6

Book

Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09)

ISBN

2190-6807

Periodical

OpenAccess Series in Informatics (OASIcs)

Number

13

State

Federal Republic of Germany

Pages from

1

Pages to

10

Pages count

10

URL

http://drops.dagstuhl.de/opus/volltexte/2009/2351/pdf/09006.JirakOta.2351.pdf

BibTex

@inproceedings{BUT30915,
  author="Ota {Jirák} and Dušan {Kolář}",
  title="Derivation in Scattered Context Grammar via Lazy Function Evaluation",
  booktitle="Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09)",
  year="2009",
  journal="OpenAccess Series in Informatics (OASIcs)",
  number="13",
  pages="1--10",
  publisher="Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik",
  address="Wadern",
  isbn="978-3-939897-15-6",
  issn="2190-6807",
  url="http://drops.dagstuhl.de/opus/volltexte/2009/2351/pdf/09006.JirakOta.2351.pdf"
}