License
When quoting this document, please refer to the following
DOI: 10.4230/DROPS.MEMICS.2009.2351
URN: urn:nbn:de:0030-drops-23517
URL: http://drops.dagstuhl.de/opus/volltexte/2009/2351/
Go to the corresponding Portal


Jirák, Ota ; Kolář, Dušan

Derivation in Scattered Context Grammar via Lazy Function Evaluation

pdf-format:
Document 1.pdf (633 KB)


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.

BibTeX - Entry

@InProceedings{jirk_et_al:OASIcs:2009:2351,
  author =	{Ota Jir{\'a}k and Du{\v{s}}an Kol{\'a}ř},
  title =	{{Derivation in Scattered Context Grammar via Lazy Function Evaluation}},
  booktitle =	{Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09)},
  pages =	{27--36},
  series =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-15-6},
  ISSN =	{2190-6807},
  year =	{2009},
  volume =	{13},
  editor =	{Petr Hlinen{\'y} and V{\'a}clav Maty{\'a}{\v{s}} and Tom{\'a}{\v{s}} Vojnar},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2009/2351},
  URN =		{urn:nbn:de:0030-drops-23517},
  doi =		{http://dx.doi.org/10.4230/DROPS.MEMICS.2009.2351},
  annote =	{Keywords: SCG, delayed execution, derivation, lazy evaluation}
}

Keywords: SCG, delayed execution, derivation, lazy evaluation
Seminar: Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09)
Issue Date: 2009
Date of publication: 15.12.2009


DROPS-Home | Fulltext Search | Imprint Published by LZI