Publication Details

Self-Reproducing Pushdown Transducers

LORENC, L., MEDUNA, A. Self-Reproducing Pushdown Transducers. In Proceedings of 7th International Conference ISIM'04 Information Systems Implementation and Modelling. 1st edition. Ostrava: 2004. p. 155-160. ISBN: 80-85988-99-2.

Czech title

Sebereprodukující zásobníkové převodníky

Type

conference paper

Language

English

Authors

Lorenc Luboš, Ing., Ph.D.
Meduna Alexandr, prof. RNDr., CSc. (DIFS)

Keywords

pushdown transducer, self-reproducing pushdown transducer, queue grammar, left-extended queue grammar, translation

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.

Published

2004

Pages

155–160

Proceedings

Proceedings of 7th International Conference ISIM'04 Information Systems Implementation and Modelling

Series

1st edition

ISBN

80-85988-99-2

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",
  address="Ostrava",
  isbn="80-85988-99-2"
}