2 Gilman’s classification is based on choosing an infinite product probability measure on the space of cellular automata. 3 See [18], section 2, for a complete discussion. 4 In [11], Lolli gives a clear distinction and discussion of the Postulates and Axioms.