12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Wednesday November 20, 2024
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Differential Analytic Turing Automata (view source)
Revision as of 02:52, 14 March 2009
, 02:52, 14 March 2009→Note 22: markup
{| align="center" cellpadding="8" width="90%"
{| align="center" cellpadding="8" width="90%"
| At the point-in-time <math>p_i,\!</math> the finite state machine <math>\operatorname{M}</math> is in the state <math>q_j.\!</math></p>
| At the point-in-time <math>p_i,\!</math> the finite state machine <math>\operatorname{M}</math> is in the state <math>q_j.\!</math>
|}
|}
|}
|}
The proposition of the form <math>\texttt{pi\_rj}</math> says:
The proposition of the form pi_rj says:
{| align="center" cellpadding="8" width="90%"
| At the point-in-time <math>p_i,\!</math> the tape head <math>\operatorname{H}</math> is on the tape cell <math>r_j.\!</math>
|}
The basic propositions for describing the
The basic propositions for describing the ''present symbol function'' <math>\operatorname{SF} : P \to (R \to S)</math> are these:
are these:
{| align="center" cellpadding="8" width="90%"
|
<math>\begin{matrix}
\texttt{p0\_r0\_s\#}, & \texttt{p0\_r0\_s*}, & \texttt{p0\_r0\_s0}, & \texttt{p0\_r0\_s1},
\\[4pt]
\texttt{p0\_r1\_s\#}, & \texttt{p0\_r1\_s*}, & \texttt{p0\_r1\_s0}, & \texttt{p0\_r1\_s1},
\\[4pt]
\texttt{p0\_r2\_s\#}, & \texttt{p0\_r2\_s*}, & \texttt{p0\_r2\_s0}, & \texttt{p0\_r2\_s1},
\\[4pt]
\texttt{p0\_r3\_s\#}, & \texttt{p0\_r3\_s*}, & \texttt{p0\_r3\_s0}, & \texttt{p0\_r3\_s1},
\\[4pt]
\texttt{p1\_r0\_s\#}, & \texttt{p1\_r0\_s*}, & \texttt{p1\_r0\_s0}, & \texttt{p1\_r0\_s1},
\\[4pt]
\texttt{p1\_r1\_s\#}, & \texttt{p1\_r1\_s*}, & \texttt{p1\_r1\_s0}, & \texttt{p1\_r1\_s1},
\\[4pt]
\texttt{p1\_r2\_s\#}, & \texttt{p1\_r2\_s*}, & \texttt{p1\_r2\_s0}, & \texttt{p1\_r2\_s1},
\\[4pt]
\texttt{p1\_r3\_s\#}, & \texttt{p1\_r3\_s*}, & \texttt{p1\_r3\_s0}, & \texttt{p1\_r3\_s1},
\\[4pt]
\texttt{p2\_r0\_s\#}, & \texttt{p2\_r0\_s*}, & \texttt{p2\_r0\_s0}, & \texttt{p2\_r0\_s1},
\\[4pt]
\texttt{p2\_r1\_s\#}, & \texttt{p2\_r1\_s*}, & \texttt{p2\_r1\_s0}, & \texttt{p2\_r1\_s1},
\\[4pt]
\texttt{p2\_r2\_s\#}, & \texttt{p2\_r2\_s*}, & \texttt{p2\_r2\_s0}, & \texttt{p2\_r2\_s1},
\\[4pt]
\texttt{p2\_r3\_s\#}, & \texttt{p2\_r3\_s*}, & \texttt{p2\_r3\_s0}, & \texttt{p2\_r3\_s1},
\\[4pt]
\texttt{p3\_r0\_s\#}, & \texttt{p3\_r0\_s*}, & \texttt{p3\_r0\_s0}, & \texttt{p3\_r0\_s1},
\\[4pt]
\texttt{p3\_r1\_s\#}, & \texttt{p3\_r1\_s*}, & \texttt{p3\_r1\_s0}, & \texttt{p3\_r1\_s1},
\\[4pt]
\texttt{p3\_r2\_s\#}, & \texttt{p3\_r2\_s*}, & \texttt{p3\_r2\_s0}, & \texttt{p3\_r2\_s1},
\\[4pt]
\texttt{p3\_r3\_s\#}, & \texttt{p3\_r3\_s*}, & \texttt{p3\_r3\_s0}, & \texttt{p3\_r3\_s1},
\\[4pt]
\end{matrix}</math>
|}
The proposition of the form pi_rj_sk says:
The proposition of the form <math>\texttt{pi\_rj\_sk}</math> says:
{| align="center" cellpadding="8" width="90%"
| At the point-in-time <math>p_i,\!</math> the tape cell <math>r_j\!</math> bears the mark <math>s_k.\!</math>
</pre>
==Note 23==
==Note 23==
