Detail výsledku

Self-Reproducing Pushdown Translation

LORENC, L. Self-Reproducing Pushdown Translation. Proceedings of the 11th Conference Student EEICT 2005. Volume 3. Brno: Publishing house of Brno University of Technology VUTIUM, 2005. p. 561-565. ISBN: 80-214-2890-2.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Lorenc Luboš, Ing., Ph.D., FIT (FIT), UIFS (FIT)
Abstrakt

After a translation of an input string, x, to an output string, y, aself-reproducing pushdown transducer can make a self-reproducing stepduring which it moves y to its input tape and translates it. In thisself-reproducing way, it can repeat the translation n-times for any n>= 1. This paper demonstrates that every recursively enumerablelanguage can be characterized by the domain or the range of thetranslation obtained from a self-reproducing pushdown transducer thatrepeats its translation no more than three times.

Klíčová slova

pushdown transducer, self-reproducing pushdown transducer, translation

Rok
2005
Strany
561–565
Sborník
Proceedings of the 11th Conference Student EEICT 2005
Řada
Volume 3
Konference
STUDENT EEICT 2005
ISBN
80-214-2890-2
Vydavatel
Publishing house of Brno University of Technology VUTIUM
Místo
Brno
BibTeX 
@inproceedings{BUT21532,
  author="Luboš {Lorenc}",
  title="Self-Reproducing Pushdown Translation",
  booktitle="Proceedings of the 11th Conference Student EEICT 2005",
  year="2005",
  series="Volume 3",
  pages="561--565",
  publisher="Publishing house of Brno University of Technology VUTIUM",
  address="Brno",
  isbn="80-214-2890-2"
}
Projekty
Optimally Integrated Models of Modern Information Technologies, GAČR, Standardní projekty, GA201/04/0441, zahájení: 2004-01-01, ukončení: 2006-12-31, ukončen
Výzkumné skupiny
Výzkumná skupina formálních modelů (VZ FM)
Pracoviště
Ústav informačních systémů (UIFS)
Nahoru