Transductions computed by PC-systems of monotone deterministic restarting automata

  • Authors:
  • Norbert Hundeshagen;Friedrich Otto;Marcel Vollweiler

  • Affiliations:
  • Fachbereich Elektrotechnik/Informatik, Universität Kassel, Kassel, Germany;Fachbereich Elektrotechnik/Informatik, Universität Kassel, Kassel, Germany;Fachbereich Elektrotechnik/Informatik, Universität Kassel, Kassel, Germany

  • Venue:
  • CIAA'10 Proceedings of the 15th international conference on Implementation and application of automata
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

We associate a transduction (that is, a binary relation) with the characteristic language of a restarting automaton, and we prove that in this way monotone deterministic restarting automata yield a characterization of pushdown transductions. Then we study the class of transductions that are computed by parallel communicating systems (PC-systems) of monotone deterministic restarting automata. We will see that this class includes all transductions that are computable.