Cellular Automata/Equivalence Classes

Introduction
Stephen Wolfram was one of the first to focus on the complete set of CA rules. He observed all the rules that can be created using binary cells $$k=2$$ and a three cell neighborhood $$m=2$$. There are $$k^{k^m}=2^{2^3}=256$$ such rules. The number of rules grows exponentially with the number of cell states and even faster with the neighbourhood size. This vast number of rules is a limiting factor when observing the whole set of rules.

Definiton of equivalence
In this definition a more formal name for rule is used, the local definition function.

The local definition function $$f_1$$ is equal to the local definition function $$f_2$$, if and ony if there exists a homomorfism $$g$$ of global CA states that


 * $$f_1 f_2$$

Clustering rules
or different symmetries
 * 1) input complement
 * 2) output complement
 * 3) reflection symmetry
 * 4) rotation smetry (2D) ?can be produced by reflection no it can not
 * 5) equivalence class

mix

 * http://groups.google.com/group/comp.theory.cell-automata/browse_thread/thread/eedd3e963691fda2/41f376c8b51455b2?q=clusters&rnum=5&hl=en#41f376c8b51455b2
 * http://groups.google.com/group/comp.theory.cell-automata/browse_frm/thread/2375d42de9f86ee1?tvc=1&q=clusters&hl=en
 * http://groups.google.com/group/comp.theory.cell-automata/browse_frm/thread/86b9db28b67edf1/c5aac90b816f8f32?q=symmetry&rnum=21&hl=en#c5aac90b816f8f32
 * http://groups.google.com/group/comp.theory.cell-automata/browse_frm/thread/3a24112941446717/1e809a7956a95529?q=symmetry&rnum=9&hl=en#1e809a7956a95529
 * http://en.wikipedia.org/wiki/Natural_isomorphism
 * http://www.mathematics21.org/formulas-theory.html
 * http://en.wikibooks.org/wiki/Abstract_algebra
 * http://en.wikibooks.org/wiki/Abstract_algebra