Detail publikace

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.
Název česky
Derivace gramatik s rozptýleným kontextem pomocí líného vyhodnocení funkcí
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Jirák Ota, Ing.
Kolář Dušan, doc. Dr. Ing. (UIFS)
Klíčová slova

gramatiky s rozptýleným kontextem, SCG, odložené zpracování, líné vyhodnocování, derivace

Abstrakt

Tento článek diskutuje gramatiky s rozptýleným kontextem (SCG) a zvažuje aplikování jejich pravidel. Používáme funkci, která reprezentuje jeden derivační krok nad danou větnou formou. Definujeme funkci, která reprezentuje odložené zpracování pravidel ze SCG. Používáme stejných principů líného vyhodnocování, kterého se používá ve funkcionálním programování. Na závěr dokážeme ekvivalenci normální a odložené derivace  v gramatikách s rozptýleným kontextem.

Rok
2009
Strany
118–125
Sborník
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"
}
Nahoru