12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Wednesday April 09, 2025
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Differential Analytic Turing Automata (view source)
Revision as of 18:30, 17 March 2009
, 18:30, 17 March 2009→Interaction Conditions: markup
Line 2,429:
Line 2,429:
IF:+ At the time p<i>, the tape cell r<j> bears the mark s<k>,+
− BUT it is NOT the case that:
−
− At the time p<i>, the tape head is on the tape cell r<j>,
−
− THEN:
−
− At the time p<i+1>, the tape cell r<j> bears the mark s<k>.
−</pre>
−
−
A propositional expression of this form can be read as follows:
A propositional expression of this form can be read as follows:
−<pre>
+{| align="center" cellpadding="8" width="90%"
−|<math>\operatorname{If}</math>
+|-
+| At the time <math>p_i,\!</math> the tape cell <math>r_j\!</math> bears the mark <math>s_k,\!</math>
+|-
+| <math>\operatorname{But}</math> it is not the case that:
+|-
+| At the time <math>p_i,\!</math> the tape head is on the tape cell <math>r_j,\!</math>
+|-
+| <math>\operatorname{Then}</math>
+|-
+| At the time <math>p_{i+1},\!</math> the tape cell <math>r_j\!</math> bears the mark <math>s_k.\!</math>
+|}
−The eighteen clauses of the Interaction Conditions simply impose one such constraint on symbol changes for each combination of the times <math>p_0, p_1,\!</math> registers <math>r_0, r_1, r_2,\!</math> and symbols <math>s_0, s_1, s_\#.\!</math>
−The eighteen clauses of the Interaction Conditions simply impose one such constraint on symbol changes for each combination of the times <math>p_0, p_1,\!</math> registers <math>r_0, r_1, r_2,</math> and symbols <math>s_0, s_1, s_\#.\!</math>
===Transition Relations===
===Transition Relations===
