Core Concepts
The minimal memory set of a cellular automaton is determined by the set of generating patterns and the behavior of the local map.
Abstract
The paper examines the connection between the minimal memory set (MMS) of a cellular automaton and the set of patterns that generate its local map. The key findings are:
If the number of generating patterns |P| is not a multiple of the alphabet size |A|, then the MMS is either the full memory set S or S{e}, where e is the identity element.
If the function f that defines the local map is well-behaved and |P| is not a multiple of |A|, then the MMS is the full memory set S.
If |S| ≥ 3, f is well-behaved, and |P| = |A|, then the MMS is either S or S{s} for some s ∈ S{e}.
The paper also provides examples illustrating the relationship between generating patterns and the MMS for elementary cellular automata. The results can be used to improve algorithms for computing the MMS of a cellular automaton.