Detail publikace

Self-Reproducing Pushdown Transducers

LORENC, L.; MEDUNA, A. Self-Reproducing Pushdown Transducers. Kybernetika, 2005, vol. 2005, no. 4, p. 533-539. ISSN: 0023-5954.
Název česky
Sebereprodukující zásobníkové převodníky
Typ
článek v časopise
Jazyk
anglicky
Autoři
Lorenc Luboš, Ing., Ph.D.
Meduna Alexandr, prof. RNDr., CSc. (UIFS)
Klíčová slova

pushdown transducer, self-reproducing pushdown transduction, recursively enumerable languages

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 sebereprodukujícímzásobníkovým převodníkem, který překlad zopakuje maximálně třikrát.

Rok
2005
Strany
533–539
Časopis
Kybernetika, roč. 2005, č. 4, ISSN 0023-5954
Kniha
Kybernetika
Místo
Praha
BibTeX 
@article{BUT42911,
  author="Luboš {Lorenc} and Alexandr {Meduna}",
  title="Self-Reproducing Pushdown Transducers",
  journal="Kybernetika",
  year="2005",
  volume="2005",
  number="4",
  pages="533--539",
  issn="0023-5954"
}
Nahoru