12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Sunday November 24, 2024
Jump to navigationJump to searchDirectory talk:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6 (view source)
Revision as of 15:06, 17 April 2013
, 15:06, 17 April 2013→6.38. Considering the Source
<br>
<br>
Thus informed, the ''semiotic equivalence relation'' for interpreter <math>\text{A}\!</math> yields the following ''semiotic equations''.
Thus informed, the semiotic equivalence relation for interpreter <math>\text{A}\!</math> yields the following semiotic equations.
{| cellpadding="10"
{| cellpadding="10"
|}
|}
In comparison, the SER for interpreter <math>\text{B}\!</math> yields the semiotic equations:
In comparison, the semiotic equivalence relation for interpreter <math>\text{B}\!</math> yields the following semiotic equations.
{| cellpadding="10"
{| cellpadding="10"
| width="10%" |
| width="10%" |
| <math>[{}^{\backprime\backprime} \text{A} {}^{\prime\prime}]_\text{B}\!</math>
| <math>[{}^{\backprime\backprime} \text{A} {}^{\prime\prime\text{A}}]_\text{B}\!</math>
| <math>=\!</math>
| <math>=\!</math>
| <math>[{}^{\backprime\backprime} \text{u} {}^{\prime\prime}]_\text{B}\!</math>
| <math>[{}^{\backprime\backprime} \text{A} {}^{\prime\prime\text{B}}]_\text{B}\!</math>
| <math>=\!</math>
| <math>=\!</math>
| <math>[{}^{\backprime\backprime} \text{i} {}^{\prime\prime}]_\text{B}\!</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
| width="10%" | or
| <math>{}^{\backprime\backprime} \text{A} {}^{\prime\prime}\!</math>
| <math>{}^{\backprime\backprime} \text{A} {}^{\prime\prime\text{A}}\!</math>
| <math>=_\text{B}\!</math>
| <math>=_\text{B}\!</math>
| <math>{}^{\backprime\backprime} \text{u} {}^{\prime\prime}\!</math>
| <math>{}^{\backprime\backprime} \text{A} {}^{\prime\prime\text{B}}\!</math>
| <math>=_\text{B}\!</math>
| <math>=_\text{B}\!</math>
| <math>{}^{\backprime\backprime} \text{i} {}^{\prime\prime}\!</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>
|}
|}
<br>
<br>
