Detail publikace

A Rigorous Approach to Self-Reproducing Pushdown Translation

LORENC, L., MEDUNA, A.

Originální název

A Rigorous Approach to Self-Reproducing Pushdown Translation

Typ

článek ve sborníku ve WoS nebo Scopus

Jazyk

angličtina

Originální abstrakt

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.

Klíčová slova

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

Autoři

LORENC, L., MEDUNA, A.

Rok RIV

2005

Vydáno

19. 4. 2005

Místo

Ostrava

ISBN

80-86840-09-3

Kniha

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

Edice

1st edition

Strany od

51

Strany do

58

Strany počet

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"
}