On nonforgetting restarting automata that are deterministic and/or monotone

  • Authors:
  • Hartmut Messerschmidt;Friedrich Otto

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

  • Venue:
  • CSR'06 Proceedings of the First international computer science conference on Theory and Applications
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

The nonforgetting restarting automaton is a restarting automaton that is not forced to reset its internal state to the initial state when executing a restart operation. We analyse the expressive power of the various deterministic and/or monotone variants of this model.