Detail publikace

Self-Reproducing Translation Made by Pushdown Transducers

LORENC Luboš a MEDUNA Alexander. Self-Reproducing Translation Made by Pushdown Transducers. In: PRE-PROCEEDINGS of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Fakulta informatiky MU, 2005, s. 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
angličtina
Autoři
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
Konference
1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science -- MEMICS 2005, Znojmo, CZ
Vydavatel
Fakulta informatiky MU
Místo
Brno, CZ
BibTeX
@INPROCEEDINGS{FITPUB7972,
   author = "Lubo\v{s} Lorenc and Alexander Meduna",
   title = "Self-Reproducing Translation Made by Pushdown Transducers",
   pages = "59--67",
   booktitle = "PRE-PROCEEDINGS of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science",
   year = 2005,
   location = "Brno, CZ",
   publisher = "Faculty of Informatics MU",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7972"
}
Nahoru