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