Detail publikace
Self-Reproducing Pushdown Transducers
LORENC, L., MEDUNA, A. Self-Reproducing Pushdown Transducers. In Proceedings of 7th International Conference ISIM'04 Information Systems Implementation and Modelling. 1st edition. Ostrava: 2004. p. 155-160. ISBN: 80-85988-99-2.
Název česky
Sebereprodukující zásobníkové 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)
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 sebereprodukujícím zásobníkovým převodníkem, který překlad zopakuje maximálně třikrát.
Rok
2004
Strany
155–160
Sborník
Proceedings of 7th International Conference ISIM'04 Information Systems Implementation and Modelling
Řada
1st edition
ISBN
80-85988-99-2
Místo
Ostrava
BibTeX
@inproceedings{BUT17117,
author="Luboš {Lorenc} and Alexandr {Meduna}",
title="Self-Reproducing Pushdown Transducers",
booktitle="Proceedings of 7th International Conference ISIM'04 Information Systems Implementation and Modelling",
year="2004",
series="1st edition",
pages="155--160",
address="Ostrava",
isbn="80-85988-99-2"
}