Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail publikace
KŘIVKA, Z.
Originální název
Recursive Erasing in Programmed Grammars
Typ
článek ve sborníku ve WoS nebo Scopus
Jazyk
angličtina
Originální abstrakt
This paper removes some erasing productions in regulated grammars.We consider programmed grammars with appearance checking containing erasing productions that generate the family of recursively enumerable language.We place some condition on productions, called recursively nonterminal-erasing set.Then we remove all erasing productions satisfying given condition in such a grammar.There are also sketched some specialization and properties of the condition and practical aspects at the conclusion.
Klíčová slova
recursive erasing, programmed grammar, appearance checking, erasing production, regulated rewriting, recursively nonterminal-erasing set of productions
Autoři
Rok RIV
2005
Vydáno
14. 10. 2005
Nakladatel
Faculty of Informatics MU
Místo
Znojmo
Strany od
139
Strany do
144
Strany počet
6
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" }