12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Wednesday April 09, 2025
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
Line 1,976:
Line 1,976:
At time p_0, M is in the state q_0, and+ At time p_0, H is reading cell r_1, and+ At time p_0, cell r_0 contains "#", and+ At time p_0, cell r_1 contains "1", and+ At time p_0, cell r_2 contains "#".+
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==
