Changes

Line 9,710: Line 9,710:  
<br>
 
<br>
   −
<pre>
+
Thus informed, the semiotic equivalence relation for interpreter <math>\text{A}\!</math> yields the following semiotic equations.
Thus informed, the SER for interpreter A yields the semantic equations:
     −
["A"A]A   =   ["A"B]A   =   ["i"A]A   =   ["u"B]A,
+
{| cellpadding="10"
 +
| width="10%" | &nbsp;
 +
| <math>[{}^{\backprime\backprime} \text{A} {}^{\prime\prime\text{A}}]_\text{A}\!</math>
 +
| <math>=\!</math>
 +
| <math>[{}^{\backprime\backprime} \text{A} {}^{\prime\prime\text{B}}]_\text{A}\!</math>
 +
| <math>=\!</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
 +
| &nbsp;<math>{}^{\backprime\backprime} \text{A} {}^{\prime\prime\text{A}}\!</math>
 +
| <math>=_\text{A}\!</math>
 +
| &nbsp;<math>{}^{\backprime\backprime} \text{A} {}^{\prime\prime\text{B}}\!</math>
 +
| <math>=_\text{A}\!</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>
 +
|}
   −
or "A"A    =A  "A"B    =A  "i"A    =A  "u"B.
+
In comparison, the semiotic equivalence relation for interpreter <math>\text{B}\!</math> yields the following semiotic equations.
   −
In comparison, the SER for interpreter B yields the semantic equations:
+
{| cellpadding="10"
 
+
| width="10%" | &nbsp;
["A"A]B   =   ["A"B]B   =   ["i"A]B   =   ["u"B]B,
+
| <math>[{}^{\backprime\backprime} \text{A} {}^{\prime\prime\text{A}}]_\text{B}\!</math>
 
+
| <math>=\!</math>
or "A"A     =B   "A"B     =B   "i"A     =B   "u"B.
+
| <math>[{}^{\backprime\backprime} \text{A} {}^{\prime\prime\text{B}}]_\text{B}\!</math>
 +
| <math>=\!</math>
 +
| <math>[{}^{\backprime\backprime} \text{i} {}^{\prime\prime\text{A}}]_\text{B}\!</math>
 +
| <math>=\!</math>
 +
| <math>[{}^{\backprime\backprime} \text{u} {}^{\prime\prime\text{B}}]_\text{B}\!</math>
 +
|-
 +
| width="10%" | or
 +
| &nbsp;<math>{}^{\backprime\backprime} \text{A} {}^{\prime\prime\text{A}}\!</math>
 +
| <math>=_\text{B}\!</math>
 +
| &nbsp;<math>{}^{\backprime\backprime} \text{A} {}^{\prime\prime\text{B}}\!</math>
 +
| <math>=_\text{B}\!</math>
 +
| &nbsp;<math>{}^{\backprime\backprime} \text{i} {}^{\prime\prime\text{A}}\!</math>
 +
| <math>=_\text{B}\!</math>
 +
| &nbsp;<math>{}^{\backprime\backprime} \text{u} {}^{\prime\prime\text{B}}\!</math>
 +
|}
    +
<pre>
 
Consequently, both SERs now induce the same semantic partition on S:
 
Consequently, both SERs now induce the same semantic partition on S:
  
12,080

edits