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. 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. p. 1-10. ISBN: 978-3-939897-15-6. ISSN: 2190-6807.
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)
URL
Klíčová slova

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

Abstrakt

Tento článek je rozšířením článku publikovaném na konferenci MEMICS'09. 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
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)
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"
}
Nahoru