12,080
edits
Changes
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata (view source)
Revision as of 17:34, 15 March 2009
, 17:34, 15 March 2009→Note 24: markup
|}
|}
'''Interaction Conditions'''
Interaction Conditions:
{| align="center" cellpadding="8" width="90%"
|
<math>\begin{array}{l}
\texttt{((~p0\_r0~) ~p0\_r0\_s0~ (~p1\_r0\_s0~))}
\\
\texttt{((~p0\_r0~) ~p0\_r0\_s1~ (~p1\_r0\_s1~))}
\\
\texttt{((~p0\_r0~) ~p0\_r0\_s\#~ (~p1\_r0\_s\#~))}
\\ \\
\texttt{((~p0\_r1~) ~p0\_r1\_s0~ (~p1\_r1\_s0~))}
\\
\texttt{((~p0\_r1~) ~p0\_r1\_s1~ (~p1\_r1\_s1~))}
\\
\texttt{((~p0\_r1~) ~p0\_r1\_s\#~ (~p1\_r1\_s\#~))}
\\ \\
\texttt{((~p0\_r2~) ~p0\_r2\_s0~ (~p1\_r2\_s0~))}
\\
\texttt{((~p0\_r2~) ~p0\_r2\_s1~ (~p1\_r2\_s1~))}
\\
\texttt{((~p0\_r2~) ~p0\_r2\_s\#~ (~p1\_r2\_s\#~))}
\\ \\
\texttt{((~p1\_r0~) ~p1\_r0\_s0~ (~p2\_r0\_s0~))}
\\
\texttt{((~p1\_r0~) ~p1\_r0\_s1~ (~p2\_r0\_s1~))}
\\
\texttt{((~p1\_r0~) ~p1\_r0\_s\#~ (~p2\_r0\_s\#~))}
\\ \\
\texttt{((~p1\_r1~) ~p1\_r1\_s0~ (~p2\_r1\_s0~))}
\\
\texttt{((~p1\_r1~) ~p1\_r1\_s1~ (~p2\_r1\_s1~))}
\\
\texttt{((~p1\_r1~) ~p1\_r1\_s\#~ (~p2\_r1\_s\#~))}
\\ \\
\texttt{((~p1\_r2~) ~p1\_r2\_s0~ (~p2\_r2\_s0~))}
\\
\texttt{((~p1\_r2~) ~p1\_r2\_s1~ (~p2\_r2\_s1~))}
\\
\texttt{((~p1\_r2~) ~p1\_r2\_s\#~ (~p2\_r2\_s\#~))}
\end{array}</math>
|}
<pre>
Transition Relations:
Transition Relations: