Detail publikace

Recursive Erasing in Programmed Grammars

KŘIVKA, Z. Recursive Erasing in Programmed Grammars. PRE-PROCEEDINGS of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Znojmo: Faculty of Informatics MU, 2005. p. 139-144.
Název česky
Rekurzivní vymazávání v programovaných gramatikách
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Křivka Zbyněk, Ing., Ph.D. (UIFS)
Klíčová slova

recursive erasing, programmed grammar, appearance checking, erasing production, regulated rewriting, recursively nonterminal-erasing set of productions

Abstrakt
Ve článku se autor zabývá možností odstranění některých vymazávacích pravidel z řízených gramatik.
Uvažuje programované gramatiky s kontrolou výskytu obsahující vymazávající pravidla, které generují třídu vyčíslitelných jazyků.
Zavedení jisté podmínky kladené na pravidla, zvané rekurzivně neterminál-vymazávací množina, umožňuje odstranění všech vymazávacích pravidel, která tuto podmínku splňují v dané gramatice.
V závěru jsou navrhnuty úpravy podmínky a vlastnosti této podmínky, dále také praktické aspekty.
Rok
2005
Strany
139–144
Sborník
PRE-PROCEEDINGS of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
Vydavatel
Faculty of Informatics MU
Místo
Znojmo
BibTeX 
@inproceedings{BUT18274,
  author="Zbyněk {Křivka}",
  title="Recursive Erasing in Programmed Grammars",
  booktitle="PRE-PROCEEDINGS of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science",
  year="2005",
  pages="139--144",
  publisher="Faculty of Informatics MU",
  address="Znojmo"
}
Nahoru