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. 5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masaryk University, 2009. p. 118-125. ISBN: 978-80-87342-04-6.
Type
conference paper
Language
English
Authors
Jirák Ota, Ing., DIFS (FIT)
Kolář Dušan, doc. Dr. Ing., DIFS (FIT)
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.

Keywords

scattered context grammars, SCG, delayed execution, lazy evaluation, derivation

Published
2009
Pages
118–125
Proceedings
5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
Conference
MEMICS'09 -- 5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
ISBN
978-80-87342-04-6
Publisher
Masaryk University
Place
Brno
BibTeX 
@inproceedings{BUT34290,
  author="Ota {Jirák} and Dušan {Kolář}",
  title="Derivation in Scattered Context Grammar via Lazy Function Evaluation",
  booktitle="5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science",
  year="2009",
  pages="118--125",
  publisher="Masaryk University",
  address="Brno",
  isbn="978-80-87342-04-6"
}
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
Research groups
Formal Model Research Group (RG FM)
Departments
Department of Information Systems (DIFS)
Back to top