Changes

In this example, for the sake of a minimal illustration, we choose <math>k = 2,\!</math> and discuss <math>\operatorname{Stunt}(2).</math>  Since the zeroth tape cell and last tape cell are both occupied by the character <math>^{\backprime\backprime}\texttt{\#}^{\prime\prime}</math> that is used for both the ''beginning of file'' <math>(\operatorname{bof})</math> and ''end of file'' <math>(\operatorname{eof})</math> markers, this allows for only one digit of significant computation.

In this example, for the sake of a minimal illustration, we choose <math>k = 2,\!</math> and discuss <math>\operatorname{Stunt}(2).</math>  Since the zeroth tape cell and last tape cell are both occupied by the character <math>^{\backprime\backprime}\texttt{\#}^{\prime\prime}</math> that is used for both the ''beginning of file'' <math>(\operatorname{bof})</math> and ''end of file'' <math>(\operatorname{eof})</math> markers, this allows for only one digit of significant computation.

<pre>

To translate <math>\operatorname{Stunt}(2)</math> into propositional form we use the following collection of basic propositions, boolean variables, or logical features, depending on what one prefers to call them:

To translate Stunt(2) into propositional form we

use the following collection of basic propositions,

boolean variables, or logical features, depending on

what one prefers to call them:

The basic propositions for describing the

The basic propositions for describing the ''present state function'' <math>\operatorname{QF} : P \to Q</math> are these:

"present state function" QF : P -> Q are

these:

  p0_q#, p0_q*, p0_q0, p0_q1,

  p1_q#, p1_q*, p1_q0, p1_q1,

  p2_q#, p2_q*, p2_q0, p2_q1,

  p3_q#, p3_q*, p3_q0, p3_q1.

\texttt{p0\_q\#}, & \texttt{p0\_q*}, & \texttt{p0\_q0}, & \texttt{p0\_q1},

\texttt{p1\_q\#}, & \texttt{p1\_q*}, & \texttt{p1\_q0}, & \texttt{p1\_q1},

\texttt{p2\_q\#}, & \texttt{p2\_q*}, & \texttt{p2\_q0}, & \texttt{p2\_q1},

\texttt{p3\_q\#}, & \texttt{p3\_q*}, & \texttt{p3\_q0}, & \texttt{p3\_q1}.

The proposition of the form pi_qj says:

The proposition of the form pi_qj says: