Detail publikace
Self-Reproducing Pushdown Translation
LORENC Luboš. Self-Reproducing Pushdown Translation. In: Proceedings of the 11th Conference Student EEICT 2005. Volume 3. Brno: Nakladatelství Vysokého učení technického v Brně VUTIUM, 2005, s. 561-565. ISBN 80-214-2890-2.
Název česky
Sebereprodukující zásobníkový překlad
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Lorenc Luboš, Ing., Ph.D. (UIFS FIT VUT)
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
561-565
Sborník
Proceedings of the 11th Conference Student EEICT 2005
Řada
Volume 3
Konference
STUDENT EEICT 2005, Brno, CZ
ISBN
80-214-2890-2
Vydavatel
Nakladatelství Vysokého učení technického v Brně VUTIUM
Místo
Brno, CZ
BibTeX
@INPROCEEDINGS{FITPUB7769, author = "Lubo\v{s} Lorenc", title = "Self-Reproducing Pushdown Translation", pages = "561--565", booktitle = "Proceedings of the 11th Conference Student EEICT 2005", series = "Volume 3", year = 2005, location = "Brno, CZ", publisher = "Publishing house of Brno University of Technology VUTIUM", ISBN = "80-214-2890-2", language = "english", url = "https://www.fit.vut.cz/research/publication/7769" }