MyWikiBiz

Changes

Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata (view source)

Revision as of 02:00, 19 March 2009

1,027 bytes added ,  02:00, 19 March 2009
→‎Computation: markup
Line 2,517: Line 2,517:  
of <math>9 + 12 + 36 = 57\!</math> basic propositions or boolean variables:
 
of <math>9 + 12 + 36 = 57\!</math> basic propositions or boolean variables:
   −
  p0_r0, p0_r1, p0_r2,
+
{| align="center" cellpadding="8" width="90%"
−
  p1_r0, p1_r1, p1_r2,
+
|
−
  p2_r0, p2_r1, p2_r2.
+
<math>\begin{matrix}
 +
\texttt{p0\_r0}, & \texttt{p0\_r1}, & \texttt{p0\_r2},
 +
\\[6pt]
 +
\texttt{p1\_r0}, & \texttt{p1\_r1}, & \texttt{p1\_r2},
 +
\\[6pt]
 +
\texttt{p2\_r0}, & \texttt{p2\_r1}, & \texttt{p2\_r2}.
 +
\end{matrix}</math>
 +
|}
   −
  p0_q#, p0_q*, p0_q0, p0_q1,
+
{| align="center" cellpadding="8" width="90%"
−
  p1_q#, p1_q*, p1_q0, p1_q1,
+
|
−
  p2_q#, p2_q*, p2_q0, p2_q1.
+
<math>\begin{matrix}
 +
\texttt{p0\_q\#}, & \texttt{p0\_q*}, & \texttt{p0\_q0}, & \texttt{p0\_q1},
 +
\\[6pt]
 +
\texttt{p1\_q\#}, & \texttt{p1\_q*}, & \texttt{p1\_q0}, & \texttt{p1\_q1},
 +
\\[6pt]
 +
\texttt{p2\_q\#}, & \texttt{p2\_q*}, & \texttt{p2\_q0}, & \texttt{p2\_q1}.
 +
\end{matrix}</math>
 +
|}
   −
  p0_r0_s#, p0_r0_s*, p0_r0_s0, p0_r0_s1,
+
{| align="center" cellpadding="8" width="90%"
−
  p0_r1_s#, p0_r1_s*, p0_r1_s0, p0_r1_s1,
+
|
−
  p0_r2_s#, p0_r2_s*, p0_r2_s0, p0_r2_s1,
+
<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},
 +
\\[12pt]
 +
\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},
 +
\\[12pt]
 +
\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}.
 +
\end{matrix}</math>
 +
|}
   −
  p1_r0_s#, p1_r0_s*, p1_r0_s0, p1_r0_s1,
+
This means that the propositional program itself is nothing more or less than a single proposition or boolean function <math>p : \mathbb{B}^{57} \to \mathbb{B}.</math>
−
  p1_r1_s#, p1_r1_s*, p1_r1_s0, p1_r1_s1,
  −
  p1_r2_s#, p1_r2_s*, p1_r2_s0, p1_r2_s1,
  −
 
  −
  p2_r0_s#, p2_r0_s*, p2_r0_s0, p2_r0_s1,
  −
  p2_r1_s#, p2_r1_s*, p2_r1_s0, p2_r1_s1,
  −
  p2_r2_s#, p2_r2_s*, p2_r2_s0, p2_r2_s1.
  −
 
  −
This means that the propositional program itself is nothing more or less than a single proposition or a boolean function <math>p : \mathbb{B}^{57} \to \mathbb{B}.</math>
      
<pre>
 
<pre>
Jon Awbrey
12,080

edits

Retrieved from "https://mywikibiz.com/Special:MobileDiff/82851"