Line 1,948: |
Line 1,948: |
| {| align="center" cellpadding=8" width="90%" | | {| align="center" cellpadding=8" width="90%" |
| | | | | |
− | <p>At time <math>p_0,\!</math> machine <math>M\!</math> is in the state <math>q_0,\!</math></p> | + | <p>At time <math>p_0,\!</math> machine <math>\operatorname{M}</math> is in the state <math>q_0,\!</math></p> |
− | <p>At time <math>p_0,\!</math> scanner <math>H\!</math> is reading cell <math>r_1,\!</math></p> | + | <p>At time <math>p_0,\!</math> scanner <math>\operatorname{H}</math> is reading cell <math>r_1,\!</math></p> |
| <p>At time <math>p_0,\!</math> cell <math>r_0\!</math> contains the symbol <math>\texttt{\#},</math></p> | | <p>At time <math>p_0,\!</math> cell <math>r_0\!</math> contains the symbol <math>\texttt{\#},</math></p> |
| <p>At time <math>p_0,\!</math> cell <math>r_1\!</math> contains the symbol <math>\texttt{0},</math></p> | | <p>At time <math>p_0,\!</math> cell <math>r_1\!</math> contains the symbol <math>\texttt{0},</math></p> |
Line 1,978: |
Line 1,978: |
| {| align="center" cellpadding=8" width="90%" | | {| align="center" cellpadding=8" width="90%" |
| | | | | |
− | <p>At time <math>p_0,\!</math> machine <math>M\!</math> is in the state <math>q_0,\!</math></p> | + | <p>At time <math>p_0,\!</math> machine <math>\operatorname{M}</math> is in the state <math>q_0,\!</math></p> |
− | <p>At time <math>p_0,\!</math> scanner <math>H\!</math> is reading cell <math>r_1,\!</math></p> | + | <p>At time <math>p_0,\!</math> scanner <math>\operatorname{H}</math> is reading cell <math>r_1,\!</math></p> |
| <p>At time <math>p_0,\!</math> cell <math>r_0\!</math> contains the symbol <math>\texttt{\#},</math></p> | | <p>At time <math>p_0,\!</math> cell <math>r_0\!</math> contains the symbol <math>\texttt{\#},</math></p> |
| <p>At time <math>p_0,\!</math> cell <math>r_1\!</math> contains the symbol <math>\texttt{1},</math></p> | | <p>At time <math>p_0,\!</math> cell <math>r_1\!</math> contains the symbol <math>\texttt{1},</math></p> |