12,080
edits
Changes
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata (view source)
Revision as of 16:00, 15 March 2009
, 16:00, 15 March 2009→Note 24: markup
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%"
|}
|}
'''Terminal Conditions'''
Terminal Conditions:
{| align="center" cellpadding="8" width="90%"
|
<math>\begin{array}{l}
\texttt{((~p2\_q\#~)(~p2\_q*~))}
\end{array}</math>
|}
<pre>
State Partition:
State Partition: