Detail publikace

Self-Reproducing Pushdown Transducers

LORENC Luboš a MEDUNA Alexander. Self-Reproducing Pushdown Transducers. In: Proceedings of 7th International Conference ISIM'04 Information Systems Implementation and Modelling. 1st edition. Ostrava: MARQ, 2004, s. 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
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 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
Konference
7th International Conference on Information Systems Implementation and Modelling, Rožnov pod Radhošťem, CZ
ISBN
80-85988-99-2
Vydavatel
MARQ
Místo
Ostrava, CZ
BibTeX
@INPROCEEDINGS{FITPUB7461,
   author = "Lubo\v{s} Lorenc and Alexander Meduna",
   title = "Self-Reproducing Pushdown Transducers",
   pages = "155--160",
   booktitle = "Proceedings of 7th International Conference ISIM'04 Information Systems Implementation and Modelling",
   series = "1st edition",
   year = 2004,
   location = "Ostrava, CZ",
   ISBN = "80-85988-99-2",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7461"
}
Nahoru