12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Tuesday November 19, 2024
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Differential Analytic Turing Automata (view source)
Revision as of 01:44, 16 March 2009
, 01:44, 16 March 2009→Note 30: markup
==Note 30==
==Note 30==
===Interpretation of the Propositional Program (cont.)===
Interpretation of the Propositional Program (cont.)
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>
|}
In briefest terms, the Interaction Conditions simply express the circumstance that the mark on a tape cell cannot change between two points in time unless the tape head is over the cell in question at the initial one of those points in time. All that we have to do is to see how they manage to say this.
In briefest terms, the Interaction Conditions merely express
the circumstance that the mark on a tape cell cannot change
between two points in time unless the tape head is over the
cell in question at the initial one of those points in time.
All that we have to do is to see how they manage to say this.
<pre>
Consider a cactus expression of the following form:
Consider a cactus expression of the following form:
