12,089
edits
Changes
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata (view source)
Revision as of 01:14, 16 March 2009
, 01:14, 16 March 2009→Note 29: markup
==Note 29==
==Note 29==
===Interpretation of the Propositional Program (cont.)===
Interpretation of the Propositional Program (cont.)
Symbol Partition:
'''Symbol Partition'''
{| align="center" cellpadding="8" width="90%"
|
<math>\begin{array}{l}
\texttt{((~p0\_r0\_s0~),(~p0\_r0\_s1~),(~p0\_r0\_s\#~))}
\\
\texttt{((~p0\_r1\_s0~),(~p0\_r1\_s1~),(~p0\_r1\_s\#~))}
\\
\texttt{((~p0\_r2\_s0~),(~p0\_r2\_s1~),(~p0\_r2\_s\#~))}
\\ \\
\texttt{((~p1\_r0\_s0~),(~p1\_r0\_s1~),(~p1\_r0\_s\#~))}
\\
\texttt{((~p1\_r1\_s0~),(~p1\_r1\_s1~),(~p1\_r1\_s\#~))}
\\
\texttt{((~p1\_r2\_s0~),(~p1\_r2\_s1~),(~p1\_r2\_s\#~))}
\\ \\
\texttt{((~p2\_r0\_s0~),(~p2\_r0\_s1~),(~p2\_r0\_s\#~))}
\\
\texttt{((~p2\_r1\_s0~),(~p2\_r1\_s1~),(~p2\_r1\_s\#~))}
\\
\texttt{((~p2\_r2\_s0~),(~p2\_r2\_s1~),(~p2\_r2\_s\#~))}
\end{array}</math>
|}
<pre>
The Symbol Partition segment of the propositional program for Stunt(2)
The Symbol Partition segment of the propositional program for Stunt(2)
consists of nine universal partition expressions, taken in conjunction
consists of nine universal partition expressions, taken in conjunction