CD-systems of stateless deterministic r(1)-automata accept all rational trace languages

  • Authors:
  • Benedek Nagy;Friedrich Otto

  • Affiliations:
  • Department of Computer Science, Faculty of Informatics, University of Debrecen, Hungary;Fachbereich Elektrotechnik/Informatik, Universität Kassel, Kassel, Germany

  • Venue:
  • LATA'10 Proceedings of the 4th international conference on Language and Automata Theory and Applications
  • Year:
  • 2010
  • The Book of Traces

    The Book of Traces

  • Multiset Automata

    WMP '00 Proceedings of the Workshop on Multiset Processing: Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View

Quantified Score

Hi-index 0.00

Visualization

Abstract

We study cooperating distributed systems (CD-systems) of restarting automata that are very restricted: they are deterministic, they cannot rewrite, but only delete symbols, they restart immediately after performing a delete operation, they are stateless, and they have a read/write window of size 1 only, that is, these are stateless deterministic R(1)-automata. We relate the class of languages that are accepted by mode =1 computations of CD-systems of such automata to other well-studied language classes, showing in particular that it only consists of semi-linear languages, and that it includes all rational trace languages.