Changes

MyWikiBiz, Author Your Legacy — Monday May 13, 2024
Jump to navigationJump to search

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

Revision as of 03:01, 17 March 2009

422 bytes removed ,  03:01, 17 March 2009
begin reorg
Line 1,921: Line 1,921:  
|}
 
|}
   −
==Note 23==
+
==Initial Conditions==
    
Given but a single free square on the tape, there are just two different sets of initial conditions for <math>\operatorname{Stunt}(2),</math> the finite approximation to the parity turing machine that we are presently considering.
 
Given but a single free square on the tape, there are just two different sets of initial conditions for <math>\operatorname{Stunt}(2),</math> the finite approximation to the parity turing machine that we are presently considering.
Line 1,985: Line 1,985:  
|}
 
|}
   −
==Note 24==
+
==Propositional Program==
    
A complete description of <math>\operatorname{Stunt}(2)</math> in propositional form is obtained by conjoining one of the above choices for initial conditions with all of the following sets of propositions, that serve in effect as a simple type of ''declarative program'', telling us all that we need to know about the anatomy and behavior of the truncated TM in question.
 
A complete description of <math>\operatorname{Stunt}(2)</math> in propositional form is obtained by conjoining one of the above choices for initial conditions with all of the following sets of propositions, that serve in effect as a simple type of ''declarative program'', telling us all that we need to know about the anatomy and behavior of the truncated TM in question.
   −
'''Mediate Conditions'''
+
===Mediate Conditions===
    
{| align="center" cellpadding="8" width="90%"
 
{| align="center" cellpadding="8" width="90%"
Line 2,004: Line 2,004:  
|}
 
|}
   −
'''Terminal Conditions'''
+
===Terminal Conditions===
    
{| align="center" cellpadding="8" width="90%"
 
{| align="center" cellpadding="8" width="90%"
Line 2,013: Line 2,013:  
|}
 
|}
   −
'''State Partition'''
+
===State Partition===
    
{| align="center" cellpadding="8" width="90%"
 
{| align="center" cellpadding="8" width="90%"
Line 2,026: Line 2,026:  
|}
 
|}
   −
'''Register Partition'''
+
===Register Partition===
    
{| align="center" cellpadding="8" width="90%"
 
{| align="center" cellpadding="8" width="90%"
Line 2,039: Line 2,039:  
|}
 
|}
   −
'''Symbol Partition'''
+
===Symbol Partition===
    
{| align="center" cellpadding="8" width="90%"
 
{| align="center" cellpadding="8" width="90%"
Line 2,064: Line 2,064:  
|}
 
|}
   −
'''Interaction Conditions'''
+
===Interaction Conditions===
    
{| align="center" cellpadding="8" width="90%"
 
{| align="center" cellpadding="8" width="90%"
Line 2,107: Line 2,107:  
|}
 
|}
   −
'''Transition Relations'''
+
===Transition Relations===
    
{| align="center" cellpadding="8" width="90%"
 
{| align="center" cellpadding="8" width="90%"
Line 2,146: Line 2,146:  
|}
 
|}
   −
==Note 25==
+
==Interpretation of the Propositional Program==
−
 
  −
===Interpretation of the Propositional Program===
      
Let us now run through the propositional specification of <math>\operatorname{Stunt}(2),</math> our truncated TM, and paraphrase what it says in ordinary language.
 
Let us now run through the propositional specification of <math>\operatorname{Stunt}(2),</math> our truncated TM, and paraphrase what it says in ordinary language.
   −
'''Mediate Conditions'''
+
===Mediate Conditions===
    
{| align="center" cellpadding="8" width="90%"
 
{| align="center" cellpadding="8" width="90%"
Line 2,214: Line 2,212:  
|}
 
|}
   −
==Note 26==
+
===Terminal Conditions===
−
 
  −
===Interpretation of the Propositional Program (cont.)===
  −
 
  −
'''Terminal Conditions'''
      
{| align="center" cellpadding="8" width="90%"
 
{| align="center" cellpadding="8" width="90%"
Line 2,256: Line 2,250:  
|}
 
|}
   −
==Note 27==
+
===State Partition===
−
 
  −
===Interpretation of the Propositional Program (cont.)===
  −
 
  −
'''State Partition'''
      
{| align="center" cellpadding="8" width="90%"
 
{| align="center" cellpadding="8" width="90%"
Line 2,310: Line 2,300:  
|}
 
|}
   −
==Note 28==
+
===Register Partition===
−
 
  −
===Interpretation of the Propositional Program (cont.)===
  −
 
  −
'''Register Partition'''
      
{| align="center" cellpadding="8" width="90%"
 
{| align="center" cellpadding="8" width="90%"
Line 2,336: Line 2,322:  
|}
 
|}
   −
==Note 29==
+
===Symbol Partition===
−
 
  −
===Interpretation of the Propositional Program (cont.)===
  −
 
  −
'''Symbol Partition'''
      
{| align="center" cellpadding="8" width="90%"
 
{| align="center" cellpadding="8" width="90%"
Line 2,376: Line 2,358:  
|}
 
|}
   −
==Note 30==
+
===Interaction Conditions===
−
 
  −
===Interpretation of the Propositional Program (cont.)===
  −
 
  −
'''Interaction Conditions'''
      
{| align="center" cellpadding="8" width="90%"
 
{| align="center" cellpadding="8" width="90%"
Line 2,462: Line 2,440:  
</pre>
 
</pre>
   −
==Note 31==
+
===Transition Relations===
−
 
  −
===Interpretation of the Propositional Program (cont.)===
  −
 
  −
'''Transition Relations'''
      
{| align="center" cellpadding="8" width="90%"
 
{| align="center" cellpadding="8" width="90%"
Jon Awbrey
12,080

edits

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

Navigation menu