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%" | |
| + | | <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 |
| + | | <math>{}^{\backprime\backprime} \text{A} {}^{\prime\prime\text{A}}\!</math> |
| + | | <math>=_\text{A}\!</math> |
| + | | <math>{}^{\backprime\backprime} \text{A} {}^{\prime\prime\text{B}}\!</math> |
| + | | <math>=_\text{A}\!</math> |
| + | | <math>{}^{\backprime\backprime} \text{i} {}^{\prime\prime\text{A}}\!</math> |
| + | | <math>=_\text{A}\!</math> |
| + | | <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%" | |
− | ["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 |
| + | | <math>{}^{\backprime\backprime} \text{A} {}^{\prime\prime\text{A}}\!</math> |
| + | | <math>=_\text{B}\!</math> |
| + | | <math>{}^{\backprime\backprime} \text{A} {}^{\prime\prime\text{B}}\!</math> |
| + | | <math>=_\text{B}\!</math> |
| + | | <math>{}^{\backprime\backprime} \text{i} {}^{\prime\prime\text{A}}\!</math> |
| + | | <math>=_\text{B}\!</math> |
| + | | <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: |
| | | |