Reduced power automata
Klaus Sutner · 2002
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. 1