12,080
edits
Changes
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata (view source)
Revision as of 22:22, 13 March 2009
, 22:22, 13 March 2009→Note 22: markup
|}
|}
The proposition of the form <math>\texttt{pi\_qj}</math> says:
The proposition of the form pi_qj says:
{| 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>
|}
The basic propositions for describing the
The basic propositions for describing the ''present register function'' <math>\operatorname{RF} : P \to R</math> are these:
are these:
{| align="center" cellpadding="8" width="90%"
|
<math>\begin{matrix}
\texttt{p0\_r0}, & \texttt{p0\_r1}, & \texttt{p0\_r2}, & \texttt{p0\_r3},
\\[6pt]
\texttt{p1\_r0}, & \texttt{p1\_r1}, & \texttt{p1\_r2}, & \texttt{p1\_r3},
\\[6pt]
\texttt{p2\_r0}, & \texttt{p2\_r1}, & \texttt{p2\_r2}, & \texttt{p2\_r3},
\\[6pt]
\texttt{p3\_r0}, & \texttt{p3\_r1}, & \texttt{p3\_r2}, & \texttt{p3\_r3}.
\end{matrix}</math>
|}
<pre>
The proposition of the form pi_rj says:
The proposition of the form pi_rj says: