Symmetry groups of automata Article uri icon

abstract

  • Symmetry transformations on the input and output code spaces of deterministic finite automata (DFA) are introduced. We show that the symmetry groups of transformations are produced by group DFA (gDFA) whose set of states and set of inputs are subgroups of the symmetric groups Sq and Sk, respectively (q is the number of states and k the number of input symbols). The set of transitions of a gDFA is also a group. The symmetries of the n-moment delay DFA, relevant for cellular automata, are studied in detail. In particular, we show that the n-moment delay DFA on two symbols are self-symmetric. The symmetry gDFA of the 2-moment delay DFA on two symbols is displayed in detail. An algorithm to construct the symmetry gDFA of arbitrary DFA is given. An application of gDFA to cellular automata dynamics is mentioned. © 1994.

publication date

  • 1994-01-01