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