Detail publikace

Recursive Erasing in Programmed Grammars

KŘIVKA, Z.

Originální název

Recursive Erasing in Programmed Grammars

Typ

článek ve sborníku mimo WoS a 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

KŘIVKA, Z.

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"
}