12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Tuesday November 19, 2024
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Differential Analytic Turing Automata (view source)
Revision as of 13:45, 15 March 2009
, 13:45, 15 March 2009→Initial Conditions for Tape Input "1": markup
This conjunction of basic propositions may be read as follows:
This conjunction of basic propositions may be read as follows:
<pre>
{| 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> scanner <math>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_1\!</math> contains the symbol <math>\texttt{1},</math></p>
</pre>
<p>At time <math>p_0,\!</math> cell <math>r_2\!</math> contains the symbol <math>\texttt{\#}.</math></p>
|}
==Note 24==
==Note 24==
