12,080
edits
Changes
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata (view source)
Revision as of 15:06, 9 March 2009
, 15:06, 9 March 2009→Note 11: \texttt
|
|
<math>\begin{array}{ccc}
<math>\begin{array}{ccc}
u' & = & \underline{((}~ u ~\underline{)(}~ v ~\underline{))}
\texttt{u}' & = & \texttt{((u)(v))}
\\ \\
\\ \\
v' & = & \underline{((}~ u ~,~ v ~\underline{))}
\texttt{v}' & = & \texttt{((u,~v))}
\end{array}</math>
\end{array}</math>
|-
|-