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 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.

Anglický abstrakt

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.

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.12.2009

Nakladatel

Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik

Místo

Wadern

ISBN

978-3-939897-15-6

Kniha

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

ISSN

2190-6807

Periodikum

OpenAccess Series in Informatics (OASIcs)

Číslo

13

Stát

Spolková republika Německo

Strany od

1

Strany do

10

Strany počet

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