Publication detail

A Rigorous Approach to Self-Reproducing Pushdown Translation

LORENC, L., MEDUNA, A.

Original Title

A Rigorous Approach to Self-Reproducing Pushdown Translation

Type

conference paper

Language

English

Original 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 or the range 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

Authors

LORENC, L., MEDUNA, A.

RIV year

2005

Released

19. 4. 2005

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",
  address="Ostrava",
  isbn="80-86840-09-3"
}