Changes

Line 400: Line 400:  
<br>
 
<br>
   −
In these terms, the SER for interpreter <math>\text{A}\!</math> yields the semiotic equations:
+
Thus informed, the ''semiotic equivalence relation'' for interpreter <math>\text{A}\!</math> yields the following ''semiotic equations''.
    
{| cellpadding="10"
 
{| cellpadding="10"
 
| width="10%" | &nbsp;
 
| width="10%" | &nbsp;
| <math>[{}^{\backprime\backprime} \text{A} {}^{\prime\prime}]_\text{A}\!</math>
+
| <math>[{}^{\backprime\backprime} \text{A} {}^{\prime\prime\text{A}}]_\text{A}\!</math>
 
| <math>=\!</math>
 
| <math>=\!</math>
| <math>[{}^{\backprime\backprime} \text{i} {}^{\prime\prime}]_\text{A}\!</math>
+
| <math>[{}^{\backprime\backprime} \text{A} {}^{\prime\prime\text{B}}]_\text{A}\!</math>
| width="20%" | &nbsp;
  −
| <math>[{}^{\backprime\backprime} \text{B} {}^{\prime\prime}]_\text{A}\!</math>
   
| <math>=\!</math>
 
| <math>=\!</math>
| <math>[{}^{\backprime\backprime} \text{u} {}^{\prime\prime}]_\text{A}\!</math>
+
| <math>[{}^{\backprime\backprime} \text{i} {}^{\prime\prime\text{A}}]_\text{A}\!</math>
 +
| <math>=\!</math>
 +
| <math>[{}^{\backprime\backprime} \text{u} {}^{\prime\prime\text{B}}]_\text{A}\!</math>
 
|-
 
|-
 
| width="10%" | or
 
| width="10%" | or
| &nbsp;<math>{}^{\backprime\backprime} \text{A} {}^{\prime\prime}\!</math>
+
| &nbsp;<math>{}^{\backprime\backprime} \text{A} {}^{\prime\prime\text{A}}\!</math>
 
| <math>=_\text{A}\!</math>
 
| <math>=_\text{A}\!</math>
| &nbsp;<math>{}^{\backprime\backprime} \text{i} {}^{\prime\prime}\!</math>
+
| &nbsp;<math>{}^{\backprime\backprime} \text{A} {}^{\prime\prime\text{B}}\!</math>
| width="20%" | &nbsp;
  −
| &nbsp;<math>{}^{\backprime\backprime} \text{B} {}^{\prime\prime}\!</math>
   
| <math>=_\text{A}\!</math>
 
| <math>=_\text{A}\!</math>
| &nbsp;<math>{}^{\backprime\backprime} \text{u} {}^{\prime\prime}\!</math>
+
| &nbsp;<math>{}^{\backprime\backprime} \text{i} {}^{\prime\prime\text{A}}\!</math>
 +
| <math>=_\text{A}\!</math>
 +
| &nbsp;<math>{}^{\backprime\backprime} \text{u} {}^{\prime\prime\text{B}}\!</math>
 
|}
 
|}
   −
and the semiotic partition:  <math>\{ \{ {}^{\backprime\backprime} \text{A} {}^{\prime\prime}, {}^{\backprime\backprime} \text{i} {}^{\prime\prime} \} , \{ {}^{\backprime\backprime} \text{B} {}^{\prime\prime}, {}^{\backprime\backprime} \text{u} {}^{\prime\prime} \} \}\!</math>.
+
In comparison, the SER for interpreter <math>\text{B}\!</math> yields the semiotic equations:
 
  −
In contrast, the SER for interpreter <math>\text{B}\!</math> yields the semiotic equations:
      
{| cellpadding="10"
 
{| cellpadding="10"
12,080

edits