Result Details
Self-Reproducing Pushdown Transducers
LORENC, L.; MEDUNA, A. Self-Reproducing Pushdown Transducers. Proceedings of 7th International Conference ISIM'04 Information Systems Implementation and Modelling. 1st edition. Ostrava: Marq software s.r.o., 2004. p. 155-160. ISBN: 80-85988-99-2.
Type
conference paper
Language
English
Authors
Lorenc Luboš, Ing., Ph.D., FIT (FIT), DIFS (FIT)
Meduna Alexandr, prof. RNDr., CSc., DIFS (FIT)
Meduna Alexandr, prof. RNDr., CSc., DIFS (FIT)
Abstract
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 of the translation obtained from a self-reproducing pushdown transducer that repeats its translation no more than three times.
Keywords
pushdown transducer, self-reproducing pushdown transducer, queue grammar, left-extended queue grammar, translation
Published
2004
Pages
155–160
Proceedings
Proceedings of 7th International Conference ISIM'04 Information Systems Implementation and Modelling
Series
1st edition
Conference
7th International Conference on Information Systems Implementation and Modelling
ISBN
80-85988-99-2
Publisher
Marq software s.r.o.
Place
Ostrava
BibTeX
@inproceedings{BUT17117,
author="Luboš {Lorenc} and Alexandr {Meduna}",
title="Self-Reproducing Pushdown Transducers",
booktitle="Proceedings of 7th International Conference ISIM'04 Information Systems Implementation and Modelling",
year="2004",
series="1st edition",
pages="155--160",
publisher="Marq software s.r.o.",
address="Ostrava",
isbn="80-85988-99-2"
}
Projects
Optimally Integrated Models of Modern Information Technologies, GACR, Standardní projekty, GA201/04/0441, start: 2004-01-01, end: 2006-12-31, completed
Departments