Detail publikace

A Rigorous Approach to Self-Reproducing Pushdown Translation

LORENC, L.; MEDUNA, A. A Rigorous Approach to Self-Reproducing Pushdown Translation. 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ůžesebereprodukují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řekladopakovat n-krát, pro nějaké n >= 1. V tomto článku je dokázáno, žekaždý rekurzivně vyčíslitelný jazyk lze přijímat i generovatsebereprodukujícím zásobníkovým převodníkem, který překlad zopakujemaximá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
Modelování a implementace informačních systémů 2005 (ISIM'05), Hradec nad Moravicí, CZ
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