Publication result detail

Self-Reproducing Translation Made by Pushdown Transducers

LORENC, L.; MEDUNA, A.

Original Title

Self-Reproducing Translation Made by Pushdown Transducers

English Title

Self-Reproducing Translation Made by Pushdown Transducers

Type

Paper in proceedings outside WoS and Scopus

Original 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 again. Inthis self-reproducing way, it can repeat the translation n-times forany n >= 1. This paper demonstrates that every recursivelyenumerable language can be characterized by the domain or the range ofthe translation obtained from a self-reproducing pushdown transducerthat repeats its translation no more than three times.

English 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 again. Inthis self-reproducing way, it can repeat the translation n-times forany n >= 1. This paper demonstrates that every recursivelyenumerable language can be characterized by the domain or the range ofthe translation obtained from a self-reproducing pushdown transducerthat repeats its translation no more than three times.

Keywords

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

Key words in English

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

Authors

LORENC, L.; MEDUNA, A.

Released

14.12.2005

Publisher

Faculty of Informatics MU

Location

Brno

Book

PRE-PROCEEDINGS of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science

Pages from

59

Pages to

67

Pages count

9

BibTex

@inproceedings{BUT18055,
  author="Luboš {Lorenc} and Alexandr {Meduna}",
  title="Self-Reproducing Translation Made by Pushdown Transducers",
  booktitle="PRE-PROCEEDINGS of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science",
  year="2005",
  pages="59--67",
  publisher="Faculty of Informatics MU",
  address="Brno"
}