Detail publikace

A Rigorous Approach to Self-Reproducing Pushdown Translation

LORENC Luboš a MEDUNA Alexander. A Rigorous Approach to Self-Reproducing Pushdown Translation. In: Proceedings of 8th Spring International Conference ISIM'05 Information Systems Implementation and Modelling. 1st edition. Ostrava: MARQ, 2005, s. 51-58. ISBN 80-86840-09-3.
Název česky
Rigorózní přístup k sebereprodukujícímu zásobníkovému překladu
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Lorenc Luboš, Ing., Ph.D. (UIFS FIT VUT)
Meduna Alexander, prof. RNDr., CSc. (UIFS FIT VUT)
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 i generovat sebereprodukujícím zásobníkovým převodníkem, který překlad zopakuje maximálně třikrát.

Rok
2005
Strany
51-58
Sborník
Proceedings of 8th Spring International Conference ISIM'05 Information Systems Implementation and Modelling
Řada
1st edition
Konference
8th International Conference on Information Systems Implementation and Modelling, Hradec nad Moravicí, CZ
ISBN
80-86840-09-3
Vydavatel
MARQ
Místo
Ostrava, CZ
BibTeX 
@INPROCEEDINGS{FITPUB7725,
   author = "Lubo\v{s} Lorenc and Alexander Meduna",
   title = "A Rigorous Approach to Self-Reproducing Pushdown Translation",
   pages = "51--58",
   booktitle = "Proceedings of 8th Spring International Conference ISIM'05 Information Systems Implementation and Modelling",
   series = "1st edition",
   year = 2005,
   location = "Ostrava, CZ",
   ISBN = "80-86840-09-3",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7725"
}
Nahoru