Detail publikace

Self-Reproducing Translation Made by Pushdown Transducers

LORENC, L.; MEDUNA, A. Self-Reproducing Translation Made by Pushdown Transducers. PRE-PROCEEDINGS of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Faculty of Informatics MU, 2005. p. 59-67.
Název česky
Sebereprodukující překlad prováděný sebereprodukujícími zásobníkovými převodníky
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Lorenc Luboš, Ing., Ph.D.
Meduna Alexandr, prof. RNDr., CSc. (UIFS)
Klíčová slova

Zásobníkový převodník, sebereprodukující zásobníkový převodník, frontová
gramatika, levě rozšířená frontová gramatika, překlad

Abstrakt

Po překladu vstupního řetězce x na výstupní řetězec y může sebereprodukující
zásobníkový převodník provést sebereprodukující krok.Tento krok spočívá
v přesunutí řetězce y na vstupní pásku. Poté jej znovu přeloží. Tímto
sebereprodukujícím způsobem může překlad opakovat n-krát, pro nějaké n >= 1.
V tomto článku je dokázáno, že každý rekurzivně vyčíslitelný jazyk lze přijímat
i generovat sebereprodukujícím zásobníkovým převodníkem, který překlad zopakuje
maximálně třikrát.

Rok
2005
Strany
59–67
Sborník
PRE-PROCEEDINGS of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
Vydavatel
Faculty of Informatics MU
Místo
Brno
BibTeX
@inproceedings{BUT18055,
  author="Luboš {Lorenc} and Alexandr {Meduna}",
  title="Self-Reproducing Translation Made by Pushdown Transducers",
  booktitle="PRE-PROCEEDINGS of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science",
  year="2005",
  pages="59--67",
  publisher="Faculty of Informatics MU",
  address="Brno"
}
Nahoru