Changes

The Transition Relation segment of the propositional program for <math>\operatorname{Stunt}(2)</math> consists of sixteen implication statements with complex antecedents and consequents.  Taken together, these give propositional expression to the TM Figure and Table that were given at the outset.

The Transition Relation segment of the propositional program for <math>\operatorname{Stunt}(2)</math> consists of sixteen implication statements with complex antecedents and consequents.  Taken together, these give propositional expression to the TM Figure and Table that were given at the outset.

Just by way of a single example, consider the clause:

Just by way of a single example, consider the clause:

  ( p0_q0  p0_r1  p0_r1_s1  ( p1_q1  p1_r2  p1_r1_s1 ))

| <math>\texttt{(~p0\_q0~~p0\_r1~~p0\_r1\_s1~~(~p1\_q1~~p1\_r2~~p1\_r1\_s1~))}</math>

This complex implication statement can be read to say:

This complex implication statement can be read to say:

   IF:

   IF: