12,122
edits
Changes
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata (view source)
Revision as of 14:24, 9 March 2009
, 14:24, 9 March 2009→Note 8: \texttt
| <math>\text{Other Notations}\!</math>
| <math>\text{Other Notations}\!</math>
|-
|-
| <math>~</math>
| <math>\texttt{~}</math>
| <math>\operatorname{True}</math>
| <math>\operatorname{True}</math>
| <math>1\!</math>
| <math>1\!</math>
|-
|-
| <math>(~)</math>
| <math>\texttt{(~)}</math>
| <math>\operatorname{False}</math>
| <math>\operatorname{False}</math>
| <math>0\!</math>
| <math>0\!</math>
|-
|-
| <math>x\!</math>
| <math>\texttt{x}</math>
| <math>x\!</math>
| <math>x\!</math>
| <math>x\!</math>
| <math>x\!</math>
|-
|-
| <math>(x)\!</math>
| <math>\texttt{(x)}</math>
| <math>\operatorname{Not}\ x</math>
| <math>\operatorname{Not}\ x</math>
|
|
\end{matrix}</math>
\end{matrix}</math>
|-
|-
| <math>x\ y\ z</math>
| <math>\texttt{x~y~z}</math>
| <math>x\ \operatorname{and}\ y\ \operatorname{and}\ z</math>
| <math>x\ \operatorname{and}\ y\ \operatorname{and}\ z</math>
| <math>x \land y \land z</math>
| <math>x \land y \land z</math>
|-
|-
| <math>((x)(y)(z))\!</math>
| <math>\texttt{((x)(y)(z))}</math>
| <math>x\ \operatorname{or}\ y\ \operatorname{or}\ z</math>
| <math>x\ \operatorname{or}\ y\ \operatorname{or}\ z</math>
| <math>x \lor y \lor z</math>
| <math>x \lor y \lor z</math>
|-
|-
| <math>(x\ (y))\!</math>
| <math>\texttt{(x~(y))}</math>
|
|
<math>\begin{matrix}
<math>\begin{matrix}
| <math>x \Rightarrow y\!</math>
| <math>x \Rightarrow y\!</math>
|-
|-
| <math>(x, y)\!</math>
| <math>\texttt{(x,~y)}</math>
|
|
<math>\begin{matrix}
<math>\begin{matrix}
\end{matrix}</math>
\end{matrix}</math>
|-
|-
| <math>((x, y))\!</math>
| <math>\texttt{((x,~y))}</math>
|
|
<math>\begin{matrix}
<math>\begin{matrix}
\end{matrix}</math>
\end{matrix}</math>
|-
|-
| <math>(x, y, z)\!</math>
| <math>\texttt{(x,~y,~z)}</math>
|
|
<math>\begin{matrix}
<math>\begin{matrix}
\end{matrix}</math>
\end{matrix}</math>
|-
|-
| <math>((x),(y),(z))\!</math>
| <math>\texttt{((x),(y),(z))}</math>
|
|
<math>\begin{matrix}
<math>\begin{matrix}
|
|
<math>\begin{matrix}
<math>\begin{matrix}
((x, y), z) \\
\texttt{((x,~y),~z)}
\\ \\
(x, (y, z)) \\
\texttt{(x,~(y,~z))}
\end{matrix}</math>
\end{matrix}</math>
|
|
\end{matrix}</math></p>
\end{matrix}</math></p>
|-
|-
| <math>(w, (x),(y),(z))\!</math>
| <math>\texttt{(w,~(x),(y),(z))}</math>
|
|
<math>\begin{matrix}
<math>\begin{matrix}