Detail výsledku

Derivation in Scattered Context Grammar via Lazy Function Evaluation

JIRÁK, O.; KOLÁŘ, D. Derivation in Scattered Context Grammar via Lazy Function Evaluation. Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09). OpenAccess Series in Informatics (OASIcs). Wadern: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2009. no. 13, p. 1-10. ISBN: 978-3-939897-15-6. ISSN: 2190-6807.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Jirák Ota, Ing., FIT (FIT), UIFS (FIT)
Kolář Dušan, doc. Dr. Ing., UIFS (FIT)
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

URL
Rok
2009
Strany
1–10
Časopis
OpenAccess Series in Informatics (OASIcs), č. 13, ISSN 2190-6807
Sborník
Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09)
Konference
MEMICS'09 -- 5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
ISBN
978-3-939897-15-6
Vydavatel
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Místo
Wadern
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"
}
Projekty
Virtuální laboratoř aplikace mikroprocesorové techniky, MŠMT, Informační technologie pro znalostní společnost, 2C06008, zahájení: 2006-07-01, ukončení: 2011-06-30, ukončen
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Výzkumné skupiny
Výzkumná skupina formálních modelů (VZ FM)
Pracoviště
Ústav informačních systémů (UIFS)
Nahoru