Detail publikačního výsledku

A Rigorous Approach to Self-Reproducing Pushdown Translation

LORENC, L.; MEDUNA, A.

Originální název

A Rigorous Approach to Self-Reproducing Pushdown Translation

Anglický název

A Rigorous Approach to Self-Reproducing Pushdown Translation

Druh

Stať ve sborníku mimo WoS a Scopus

Originální abstrakt

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.

Anglický abstrakt

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.

Klíčová slova

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

Klíčová slova v angličtině

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

Autoři

LORENC, L.; MEDUNA, A.

Vydáno

19.04.2005

Nakladatel

Marq software s.r.o.

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",
  publisher="Marq software s.r.o.",
  address="Ostrava",
  isbn="80-86840-09-3"
}