Detail publikace
Self-Reproducing Pushdown Translation
LORENC, L. Self-Reproducing Pushdown Translation. In Proceedings of the 11th Conference Student EEICT 2005. Volume 3. Brno: Publishing house of Brno University of Technology VUTIUM, 2005. p. 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
anglicky
Autoři
Lorenc Luboš, Ing., Ph.D.
Klíčová slova
pushdown transducer, self-reproducing pushdown transducer, translation
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
Publishing house of Brno University of Technology VUTIUM
Místo
Brno
BibTeX
@inproceedings{BUT21532,
author="Luboš {Lorenc}",
title="Self-Reproducing Pushdown Translation",
booktitle="Proceedings of the 11th Conference Student EEICT 2005",
year="2005",
series="Volume 3",
pages="561--565",
publisher="Publishing house of Brno University of Technology VUTIUM",
address="Brno",
isbn="80-214-2890-2"
}