Rigorózní přístup k sebereprodukujícímu zásobníkovému překladu
Popis výsledku
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.
Klíčová slova
pushdown transducerself-reproducing pushdown transducerqueue grammarleft-extended queue grammartranslation
Identifikátory výsledku
Kód výsledku v IS VaVaI
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
A Rigorous Approach to Self-Reproducing Pushdown Translation
Popis výsledku v původním jazyce
After a translation of an input string, x, to an output string, y, a self-reproducing pushdown transducer can make a self-reproducing step during which it moves y to its input tape and translates it. In this self-reproducing way, it can repeat the translation n-times for any n >= 1. This paper demonstrates that every recursively enumerable language can be characterized by the domain or the range of the translation obtained from a self-reproducing pushdown transducer that repeats its translation no moore than three times.
Název v anglickém jazyce
A Rigorous Approach to Self-Reproducing Pushdown Translation
Popis výsledku anglicky
After a translation of an input string, x, to an output string, y, a self-reproducing pushdown transducer can make a self-reproducing step during which it moves y to its input tape and translates it. In this self-reproducing way, it can repeat the translation n-times for any n >= 1. This paper demonstrates that every recursively enumerable language can be characterized by the domain or the range of the translation obtained from a self-reproducing pushdown transducer that repeats its translation no moore than three times.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
JC - Počítačový hardware a software
OECD FORD obor
—
Návaznosti výsledku
Projekt
GA201/04/0441: Vhodně sloučené modely pro moderní informační technologie
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2005
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Proceedings of 8th Spring International Conference ISIM'05 Information Systems Implementation and Modelling
ISBN
80-86840-09-3
ISSN
—
e-ISSN
—
Počet stran výsledku
8
Strana od-do
51-58
Název nakladatele
NEUVEDEN
Místo vydání
Ostrava
Místo konání akce
Hradec nad Moravicí
Datum konání akce
19. 4. 2005
Typ akce podle státní příslušnosti
EUR - Evropská akce
Kód UT WoS článku
—
Druh výsledku
D - Stať ve sborníku
CEP
JC - Počítačový hardware a software
Rok uplatnění
2005