Result Details
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.
Type
conference paper
Language
English
Authors
Lorenc Luboš, Ing., Ph.D., DIFS (FIT)
Abstract
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.
Keywords
pushdown transducer, self-reproducing pushdown transducer, translation
Published
2005
Pages
561–565
Proceedings
Proceedings of the 11th Conference Student EEICT 2005
Series
Volume 3
Conference
STUDENT EEICT 2005
ISBN
80-214-2890-2
Publisher
Publishing house of Brno University of Technology VUTIUM
Place
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"
}
Projects
Optimally Integrated Models of Modern Information Technologies, GACR, Standardní projekty, GA201/04/0441, start: 2004-01-01, end: 2006-12-31, completed
Research groups
Formal Model Research Group (RG FM)
Departments