Automorphissm Classification of Cellular Automata

  • Authors:
  • Hidenosuke Nishio

  • Affiliations:
  • (Correspd.) Kyoto University, Iwakura Miyake-cho 204-1, Sakyo-ku, 606-0022, Kyoto, Japan. yra05762@nifty.com

  • Venue:
  • Fundamenta Informaticae - Non-Classical Models of Automata and Applications
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

A new classification of arbitrary cellular automata (CA for short) in Z d is studied considering the set (group) of all permutations of the neighborhood ν and state set Q. Two CA (Z d, Q, f A, ν A) and (Z d, Q, f B, ν B) are called automorphisc, if there is a pair of permutations (π, &phis;) of ν and Q, respectively, such that (f B, ν B) = (&phis; −1 f A π&phis;, ν A π), where ν π denotes a permutation of ν and f π denotes a permutation of arguments of local function f corresponding to ν π. This automorphissm naturally induces a classification of CA, such that it generally preserves the global properties of CA up to permutation. As a typical example of the theory, the local functions of 256 ECA (1-dimensional 3-nearest neighbors 2-states CA) are classified into 46 classes. We also give a computer test of surjectivity, injecitivity and reversibility of the classes.