Details and Options
The state for a mobile automaton is given in the form {{a_{1},a_{2},…}, n}, where the a_{i} are values of cells and n is the position of the active cell.
The rules for a basic mobile automaton are given as a list of elements of the form {{a_{}-1,a_{0},a_{1}}→{ap,dn}} where ap is the new value of the active cell, and dn is its displacement.
The rules for a block mobile automaton are given as a list of elements of the form {{a_{}-1,a_{0},a_{}+1}→{{ap_{}-1,ap_{0},ap_{}+1},dn}} where the ap_{i} are the new values for the block of cells, and dn is the displacement of the active cell.
The rules for a basic mobile automaton can be given as a pair of integers, in which case they will be decoded as specified in
NKS page 887.
If the position of the active cell would be outside the range defined by the list of cells given, it is taken to be
None.