Changes

|}

|}

The Symbol Partition segment of the propositional program for <math>\operatorname{Stunt}(2)</math> consists of nine universal partition expressions, taken in conjunction stipulating that there has to be one and only one symbol in each of the registers at each point in time under consideration.  In short, we have:

The Symbol Partition segment of the propositional program for Stunt(2)

consists of nine universal partition expressions, taken in conjunction

stipulating that there has to be one and only one symbol in each of the

registers at each point in time under consideration.  In short, we have:

  At each of the points in time p_i, for i in {0, 1, 2},

  in each of the tape registers r_j, for j in {0, 1, 2},  

  there can be exactly one sign s_k, for k in {0, 1, #}.

<p>At each of the points in time <math>p_i,\!</math> for <math>i\!</math> in <math>\{ 0, 1, 2 \},\!</math></p>

</pre>

 

<p>in each of the tape registers <math>r_j,\!</math> for <math>j\!</math> in <math>\{ 0, 1, 2 \},\!</math></p>

 

<p>there can be exactly one sign <math>s_k,\!</math> for <math>k\!</math> in <math>\{ 0, 1, \# \}.\!</math></p>

==Note 30==

==Note 30==