12,080
edits
Changes
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata (view source)
Revision as of 02:45, 18 March 2009
, 02:45, 18 March 2009→Transition Relations: \operatorname{…}
|<math>\operatorname{If}</math>
|<math>\operatorname{If}</math>
|-
|-
| At the time <math>p_0,\!</math> the machine <math>M\!</math> is in the state <math>q_0,\!</math> and
| At the time <math>p_0,\!</math> the machine <math>\operatorname{M}</math> is in the state <math>q_0,\!</math> and
|-
|-
| At the time <math>p_0,\!</math> the scanner <math>H\!</math> is reading cell <math>r_1,\!</math> and
| At the time <math>p_0,\!</math> the scanner <math>\operatorname{H}</math> is reading cell <math>r_1,\!</math> and
|-
|-
| At the time <math>p_0,\!</math> the tape cell <math>r_1\!</math> contains a <math>\texttt{1},</math>
| At the time <math>p_0,\!</math> the tape cell <math>r_1\!</math> contains a <math>\texttt{1},</math>
| <math>\operatorname{Then}</math>
| <math>\operatorname{Then}</math>
|-
|-
| At the time <math>p_1,\!</math> the machine <math>M\!</math> is in the state <math>q_1,\!</math> and
| At the time <math>p_1,\!</math> the machine <math>\operatorname{M}</math> is in the state <math>q_1,\!</math> and
|-
|-
| At the time <math>p_1,\!</math> the scanner <math>H\!</math> is reading cell <math>r_2,\!</math> and
| At the time <math>p_1,\!</math> the scanner <math>\operatorname{H}</math> is reading cell <math>r_2,\!</math> and
|-
|-
| At the time <math>p_1,\!</math> the tape cell <math>r_1\!</math> contains a <math>\texttt{1},</math>
| At the time <math>p_1,\!</math> the tape cell <math>r_1\!</math> contains a <math>\texttt{1}.</math>
|}
|}