12,080
edits
Changes
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata (view source)
Revision as of 02:08, 18 March 2009
, 02:08, 18 March 2009→Terminal Conditions: <math>\operatorname{M}</math>
{| align="center" cellpadding=8" width="90%"
{| align="center" cellpadding=8" width="90%"
|
|
<p>At time <math>p_2\!</math> machine <math>M\!</math> is in state <math>q_\#,\!</math> or</p>
<p>At time <math>p_2\!</math> machine <math>\operatorname{M}</math> is in state <math>q_\#,\!</math> or</p>
<p>At time <math>p_2\!</math> machine <math>M\!</math> is in state <math>q_*.\!</math></p>
<p>At time <math>p_2\!</math> machine <math>\operatorname{M}</math> is in state <math>q_*.\!</math></p>
|}
|}