Strictly deterministic CD-systems of restarting automata

  • Authors:
  • H. Messerschmidt;F. Otto

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

  • Venue:
  • FCT'07 Proceedings of the 16th international conference on Fundamentals of Computation Theory
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

A CD-system of restarting automata is called strictly deterministic if all its component systems are deterministic, and if there is a unique successor system for each component. Here we show that the strictly deterministic CD-systems of restarting automata are strictly more powerful than the corresponding deterministic types of restarting automata, but that they are strictly less powerful than the corresponding deterministic types of nonforgetting restarting automata. In fact, we present an infinite hierarchy of language classes based on the number of components of strictly deterministic CD-systems of restarting automata.