Detail publikace

Recursive Erasing in Programmed Grammars

KŘIVKA Zbyněk. Recursive Erasing in Programmed Grammars. In: PRE-PROCEEDINGS of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Znojmo: Fakulta informatiky MU, 2005, s. 139-144.
Název česky
Rekurzivní vymazávání v programovaných gramatikách
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Křivka Zbyněk, Ing., Ph.D. (UIFS FIT VUT)
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
Konference
1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science -- MEMICS 2005, Znojmo, CZ
Vydavatel
Fakulta informatiky MU
Místo
Znojmo, CZ
BibTeX 
@INPROCEEDINGS{FITPUB7946,
   author = "Zbyn\v{e}k K\v{r}ivka",
   title = "Recursive Erasing in Programmed Grammars",
   pages = "139--144",
   booktitle = "PRE-PROCEEDINGS of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science",
   year = 2005,
   location = "Znojmo, CZ",
   publisher = "Faculty of Informatics MU",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7946"
}
Nahoru