12,080
edits
Changes
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata (view source)
Revision as of 14:32, 9 March 2009
, 14:32, 9 March 2009→Note 8: \texttt
{| align="center" cellpadding="8" width="90%"
{| align="center" cellpadding="8" width="90%"
| <math>(x, y) ~=~ F(u, v) ~=~ ( ~\underline{((}~ u ~\underline{)(}~ v ~\underline{))}~ , ~\underline{((}~ u ~,~ v ~\underline{))}~ ).</math>
|
<math>\begin{array}{lcccc}
(x, y) & = & F(u, v) & = & ( ~\texttt{((u)(v))}~ , ~\texttt{((u,~v))}~ ).
\end{array}</math>
|}
|}