Changes

This conjunction of basic propositions may be read as follows:

This conjunction of basic propositions may be read as follows:

<pre>

  At time p_0, M is in the state q_0, and

  At time p_0, H is reading cell r_1, and

<p>At time <math>p_0,\!</math> machine <math>M\!</math> is in the state <math>q_0,\!</math></p>

  At time p_0, cell r_0 contains "#", and

<p>At time <math>p_0,\!</math> scanner <math>H\!</math> is reading cell <math>r_1,\!</math></p>

  At time p_0, cell r_1 contains "0", and

<p>At time <math>p_0,\!</math> cell <math>r_0\!</math> contains the symbol <math>\texttt{\#},</math></p>

  At time p_0, cell r_2 contains "#".

<p>At time <math>p_0,\!</math> cell <math>r_1\!</math> contains the symbol <math>\texttt{0},</math></p>

</pre>

<p>At time <math>p_0,\!</math> cell <math>r_2\!</math> contains the symbol <math>\texttt{\#}.</math></p>

===Initial Conditions for Tape Input "1"===

===Initial Conditions for Tape Input "1"===