Publication result detail

A Rigorous Approach to Self-Reproducing Pushdown Translation

LORENC, L.; MEDUNA, A.

Original Title

A Rigorous Approach to Self-Reproducing Pushdown Translation

English Title

A Rigorous Approach to Self-Reproducing Pushdown Translation

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. 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.

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. 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, 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

19.04.2005

Publisher

Marq software s.r.o.

Location

Ostrava

ISBN

80-86840-09-3

Book

Proceedings of 8th Spring International Conference ISIM'05 Information Systems Implementation and Modelling

Edition

1st edition

Pages from

51

Pages to

58

Pages count

8

BibTex

@inproceedings{BUT21453,
  author="Luboš {Lorenc} and Alexandr {Meduna}",
  title="A Rigorous Approach to Self-Reproducing Pushdown Translation",
  booktitle="Proceedings of 8th Spring International Conference ISIM'05 Information Systems Implementation and Modelling",
  year="2005",
  series="1st edition",
  pages="51--58",
  publisher="Marq software s.r.o.",
  address="Ostrava",
  isbn="80-86840-09-3"
}