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