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. 5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masaryk University, 2009. p. 118-125. ISBN: 978-80-87342-04-6.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Jirák Ota, Ing., UIFS (FIT)
Kolář Dušan, doc. Dr. Ing., UIFS (FIT)
Abstrakt

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.

Klíčová slova

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

Rok
2009
Strany
118–125
Sborník
5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
Konference
MEMICS'09 -- 5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
ISBN
978-80-87342-04-6
Vydavatel
Masaryk University
Místo
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"
}
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