Článek ve sborníku konference

JIRÁK Ota a KOLÁŘ Dušan. Derivation in Scattered Context Grammar via Lazy Function Evaluation. In: 5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masarykova universita, 2009, s. 118-125. ISBN 978-80-87342-04-6.
Jazyk publikace:angličtina
Název publikace:Derivation in Scattered Context Grammar via Lazy Function Evaluation
Název (cs):Derivace gramatik s rozptýleným kontextem pomocí líného vyhodnocení funkcí
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
Místo vydání:Brno, CZ
Rok:2009
ISBN:978-80-87342-04-6
Vydavatel:Masarykova universita
Klíčová slova
gramatiky s rozptýleným kontextem, SCG, odložené zpracování, líné vyhodnocování, derivace
Anotace
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.
BibTeX:
@INPROCEEDINGS{
   author = {Ota Jirák and Dušan Kolář},
   title = {Derivation in Scattered Context Grammar via Lazy Function
	Evaluation},
   pages = {118--125},
   booktitle = {5th Doctoral Workshop on Mathematical and Engineering
	Methods in Computer Science},
   year = {2009},
   location = {Brno, CZ},
   publisher = {Masaryk University},
   ISBN = {978-80-87342-04-6},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.cs?id=9109}
}

Vaše IPv4 adresa: 54.227.41.242
Přepnout na IPv6 spojení

DNSSEC [dnssec]