Changes

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.

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.

<pre>

<ol>

1. Den1 (A) has an arc from each point of [A]A = {<A>, <i>} to A and from each point of [B]A = {<B>, <u>} to B.

<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>

2. Den1 (B) has an arc from each point of [A]B = {<A>, <u>} to A and from each point of [B]B = {<B>, <i>} to B.

<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>

3. In the parts added by reflective extension, Den1 (A) and Den1 (B) both have arcs from <s> to s, for each s C S<1>.

<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, Den1 (A) and Den1 (B) summarize the upshots, end results, or effective steps of computation that are involved in the respective evaluations of signs in S by Ref1 (A) and Ref1 (B).

Taken as transition digraphs, Den1 (A) and Den1 (B) summarize the upshots, end results, or effective steps of computation that are involved in the respective evaluations of signs in S by Ref1 (A) and Ref1 (B).