12,080
edits
Changes
Directory talk:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6 (view source)
Revision as of 21:28, 15 May 2013
, 21:28, 15 May 2013→Current Work
==Current Work==
==Current Work==
<br>
The denotative components <math>\operatorname{Den}^1 (L_\text{A})\!</math> and <math>\operatorname{Den}^1 (L_\text{B})\!</math> can be viewed as digraphs on the 10 points of the world set <math>W.\!</math> The arcs of these digraphs are given as follows.
<ol>
<li><math>\operatorname{Den}^1 (L_\text{A})\!</math> has an arc from each point of <math>[\text{A}]_\text{A} = \{ {}^{\langle} \text{A} {}^{\rangle}, {}^{\langle} \text{i}{}^{\rangle} \}\!</math> to <math>\text{A}\!</math> and from each point of <math>[\text{B}]_\text{A} = \{ {}^{\langle} \text{B} {}^{\rangle}, {}^{\langle} \text{u} {}^{\rangle} \}\!</math> to <math>\text{B}.\!</math></li>
<li><math>\operatorname{Den}^1 (L_\text{B})\!</math> has an arc from each point of <math>[\text{A}]_\text{B} = \{ {}^{\langle} \text{A} {}^{\rangle}, {}^{\langle} \text{u}{}^{\rangle} \}\!</math> to <math>\text{A}\!</math> and from each point of <math>[\text{B}]_\text{B} = \{ {}^{\langle} \text{B} {}^{\rangle}, {}^{\langle} \text{i} {}^{\rangle} \}\!</math> to <math>\text{B}.\!</math></li>
<li>In the parts added by reflective extension <math>\operatorname{Den}^1 (L_\text{A})\!</math> and <math>\operatorname{Den}^1 (L_\text{B})\!</math> both have arcs from <math>{}^{\langle} s {}^{\rangle}\!</math> to <math>s,\!</math> for each <math>s \in S^{(1)}.\!</math></li>
</ol>
Taken as transition digraphs, <math>\operatorname{Den}^1 (L_\text{A})\!</math> and <math>\operatorname{Den}^1 (L_\text{B})\!</math> summarize the upshots, end results, or effective steps of computation that are involved in the respective evaluations of signs in <math>S\!</math> by <math>\operatorname{Ref}^1 (\text{A})\!</math> and <math>\operatorname{Ref}^1 (\text{B}).\!</math>
<br>
<br>