12,135
edits
Changes
Directory talk:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6 (view source)
Revision as of 03:32, 27 September 2012
, 03:32, 27 September 2012→Current Work
"u" 000001 (w1)(w2)(w3)(w4)(w5) w6 <w6>W
"u" 000001 (w1)(w2)(w3)(w4)(w5) w6 <w6>W
</pre>
</pre>
<br>
{| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:75%"
|+ style="height:30px" |
<math>\text{Table 54.3} ~~ \text{Abstract Literal Codes for Interpreters A and B}\!</math>
|- style="background:#f0f0ff"
| <math>\text{Element}\!</math>
| <math>\text{Vector}\!</math>
| <math>\text{Conjunct Term}\!</math>
| <math>\text{Code}\!</math>
|-
| valign="bottom" width="20%" |
<math>\begin{matrix}
\text{A}
\\[4pt]
\text{B}
\\[4pt]
{}^{\backprime\backprime} \text{A} {}^{\prime\prime}
\\[4pt]
{}^{\backprime\backprime} \text{B} {}^{\prime\prime}
\\[4pt]
{}^{\backprime\backprime} \text{i} {}^{\prime\prime}
\\[4pt]
{}^{\backprime\backprime} \text{u} {}^{\prime\prime}
\end{matrix}</math>
| valign="bottom" width="20%" |
<math>\begin{matrix}
100000
\\[4pt]
010000
\\[4pt]
001000
\\[4pt]
000100
\\[4pt]
000010
\\[4pt]
000001
\end{matrix}</math>
| valign="bottom" width="40%" |
<math>\begin{matrix}
~\underline{\underline{w_1}}~
(\underline{\underline{w_2}})
(\underline{\underline{w_3}})
(\underline{\underline{w_4}})
(\underline{\underline{w_5}})
(\underline{\underline{w_6}})
\\[4pt]
(\underline{\underline{w_1}})
~\underline{\underline{w_2}}~
(\underline{\underline{w_3}})
(\underline{\underline{w_4}})
(\underline{\underline{w_5}})
(\underline{\underline{w_6}})
\\[4pt]
(\underline{\underline{w_1}})
(\underline{\underline{w_2}})
~\underline{\underline{w_3}}~
(\underline{\underline{w_4}})
(\underline{\underline{w_5}})
(\underline{\underline{w_6}})
\\[4pt]
(\underline{\underline{w_1}})
(\underline{\underline{w_2}})
(\underline{\underline{w_3}})
~\underline{\underline{w_4}}~
(\underline{\underline{w_5}})
(\underline{\underline{w_6}})
\\[4pt]
(\underline{\underline{w_1}})
(\underline{\underline{w_2}})
(\underline{\underline{w_3}})
(\underline{\underline{w_4}})
~\underline{\underline{w_5}}~
(\underline{\underline{w_6}})
\\[4pt]
(\underline{\underline{w_1}})
(\underline{\underline{w_2}})
(\underline{\underline{w_3}})
(\underline{\underline{w_4}})
(\underline{\underline{w_5}})
~\underline{\underline{w_6}}~
\end{matrix}</math>
| valign="bottom" width="20%" |
<math>\begin{matrix}
{\langle\underline{\underline{w_1}}\rangle}_W
\\[4pt]
{\langle\underline{\underline{w_2}}\rangle}_W
\\[4pt]
{\langle\underline{\underline{w_3}}\rangle}_W
\\[4pt]
{\langle\underline{\underline{w_4}}\rangle}_W
\\[4pt]
{\langle\underline{\underline{w_5}}\rangle}_W
\\[4pt]
{\langle\underline{\underline{w_6}}\rangle}_W
\end{matrix}</math>
|}
<br>
<br>