12,080
edits
Changes
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata (view source)
Revision as of 20:36, 17 March 2009
, 20:36, 17 March 2009→Mediate Conditions: <math>\operatorname{M}</math>
{| align="center" cellpadding=8" width="90%"
{| align="center" cellpadding=8" width="90%"
|
|
<p>If <math>M\!</math> at <math>p_0\!</math> is in state <math>q_\#,\!</math> then <math>M\!</math> at <math>p_1\!</math> is in state <math>q_\#,\!</math> and</p>
<p>If <math>\operatorname{M}</math> at <math>p_0\!</math> is in state <math>q_\#,\!</math> then <math>\operatorname{M}</math> at <math>p_1\!</math> is in state <math>q_\#,\!</math> and</p>
<p>If <math>M\!</math> at <math>p_0\!</math> is in state <math>q_*,\!</math> then <math>M\!</math> at <math>p_1\!</math> is in state <math>q_*,\!</math> and</p>
<p>If <math>\operatorname{M}</math> at <math>p_0\!</math> is in state <math>q_*,\!</math> then <math>\operatorname{M}</math> at <math>p_1\!</math> is in state <math>q_*,\!</math> and</p>
<p>If <math>M\!</math> at <math>p_1\!</math> is in state <math>q_\#,\!</math> then <math>M\!</math> at <math>p_2\!</math> is in state <math>q_\#,\!</math> and</p>
<p>If <math>\operatorname{M}</math> at <math>p_1\!</math> is in state <math>q_\#,\!</math> then <math>\operatorname{M}</math> at <math>p_2\!</math> is in state <math>q_\#,\!</math> and</p>
<p>If <math>M\!</math> at <math>p_1\!</math> is in state <math>q_*,\!</math> then <math>M\!</math> at <math>p_2\!</math> is in state <math>q_*.\!</math></p>
<p>If <math>\operatorname{M}</math> at <math>p_1\!</math> is in state <math>q_*,\!</math> then <math>\operatorname{M}</math> at <math>p_2\!</math> is in state <math>q_*.\!</math></p>
|}
|}