Detail publikace

A Rigorous Approach to Self-Reproducing Pushdown Translation

LORENC, L., MEDUNA, A. 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: 2005. p. 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
anglicky
Autoři
Lorenc Luboš, Ing., Ph.D.
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 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
ISBN
80-86840-09-3
Místo
Ostrava
BibTeX 
@inproceedings{BUT21453,
  author="Luboš {Lorenc} and Alexandr {Meduna}",
  title="A Rigorous Approach to Self-Reproducing Pushdown Translation",
  booktitle="Proceedings of 8th Spring International Conference ISIM'05 Information Systems Implementation and Modelling",
  year="2005",
  series="1st edition",
  pages="51--58",
  address="Ostrava",
  isbn="80-86840-09-3"
}
Nahoru