Changes

Line 9,096: Line 9,096:  
<br>
 
<br>
   −
In these terms, the SER for interpreter <math>\text{A}\!</math> yields the semiotic equations:
+
The semiotic equivalence relation given by <math>\operatorname{Con}^1 (L_\text{A})\!</math> for interpreter <math>\text{A}\!</math> has the following semiotic equations.
    
{| cellpadding="10"
 
{| cellpadding="10"
Line 9,120: Line 9,120:  
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>.
 
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 contrast, the SER for interpreter <math>\text{B}\!</math> yields the semiotic equations:
+
The semiotic equivalence relation given by <math>\operatorname{Con}^1 (L_\text{B})\!</math> for interpreter <math>\text{B}\!</math> has the following semiotic equations.
    
{| cellpadding="10"
 
{| cellpadding="10"
12,080

edits