Reduced power automata

  • Authors:
  • Klaus Sutner

  • Affiliations:
  • Computer Science Department, Carnegie Mellon University, Pittsburgh, PA

  • Venue:
  • CIAA'02 Proceedings of the 7th international conference on Implementation and application of automata
  • Year:
  • 2002

Quantified Score

Hi-index 0.00

Visualization

Abstract

We describe a class of transitive semiautomata whose power automata are reduced: any two reachable sets of states have distinct behavior. These automata appear naturally in the study of one-dimensional cellular automata.