Ing. Luboš Lorenc, Ph.D.
| Lorenc, L.: Self-Reproducing Pushdown Translation, In: Proceedings of the 11th Conference Student EEICT 2005, Brno, CZ, VUTIUM, 2005, s. 561-565, ISBN 80-214-2890-2 | | Jazyk publikace: | angličtina |
|---|
| Název publikace: | Self-Reproducing Pushdown Translation |
|---|
| Název (cs): | Sebereprodukující zásobníkový překlad |
|---|
| Strany: | 561-565 |
|---|
| Sborník: | Proceedings of the 11th Conference Student EEICT 2005 |
|---|
| Konference: | STUDENT EEICT 2005 |
|---|
| Řada knih: | Volume 3 |
|---|
| Místo vydání: | Brno, CZ |
|---|
| Rok: | 2005 |
|---|
| ISBN: | 80-214-2890-2 |
|---|
| Vydavatel: | Nakladatelství Vysokého učení technického v Brně VUTIUM |
|---|
| Klíčová slova |
|---|
| pushdown transducer, self-reproducing pushdown transducer, translation |
| Anotace |
|---|
| 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. |
| BibTeX: |
|---|
@INPROCEEDINGS{
author = {Luboš Lorenc},
title = {Self-Reproducing Pushdown Translation},
pages = {561--565},
booktitle = {Proceedings of the 11th Conference Student EEICT 2005},
series = {Volume 3},
year = {2005},
location = {Brno, CZ},
publisher = {Publishing house of Brno University of Technology VUTIUM},
ISBN = {80-214-2890-2},
language = {english},
url = {http://www.fit.vutbr.cz/research/view_pub.php?id=7769}
} |
|