Publication Details

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: Faculty of Informatics MU, 2005, pp. 139-144.
Czech title
Rekurzivní vymazávání v programovaných gramatikách
Type
conference paper
Language
english
Authors
Křivka Zbyněk, Ing., Ph.D. (DIFS FIT BUT)
Keywords

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

Abstract

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.

Published
2005
Pages
139-144
Proceedings
PRE-PROCEEDINGS of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
Conference
1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science -- MEMICS 2005, Znojmo, CZ
Publisher
Faculty of Informatics MU
Place
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"
}
Back to top