Result Details
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.
Type
conference paper
Language
English
Authors
Jirák Ota, Ing., FIT (FIT), DIFS (FIT)
Kolář Dušan, doc. Dr. Ing., DIFS (FIT)
Kolář Dušan, doc. Dr. Ing., DIFS (FIT)
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
URL
Published
2009
Pages
1–10
Journal
OpenAccess Series in Informatics (OASIcs), no. 13, ISSN 2190-6807
Proceedings
Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09)
Conference
MEMICS'09 -- 5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
ISBN
978-3-939897-15-6
Publisher
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Place
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"
}
Projects
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
Virtual Laboratory of Microprocessor Technology Application, MŠMT, Informační technologie pro znalostní společnost, 2C06008, start: 2006-07-01, end: 2011-06-30, completed
Virtual Laboratory of Microprocessor Technology Application, MŠMT, Informační technologie pro znalostní společnost, 2C06008, start: 2006-07-01, end: 2011-06-30, completed
Research groups
Formal Model Research Group (RG FM)
Departments