12,122
edits
Changes
Directory talk:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6 (view source)
Revision as of 02:00, 18 May 2013
, 02:00, 18 May 2013→Current Work
==Current Work==
==Current Work==
<br>
In these terms, the SER for interpreter <math>\text{A}\!</math> yields the semiotic equations:
{| cellpadding="10"
| width="10%" |
| <math>[{}^{\backprime\backprime} \text{A} {}^{\prime\prime}]_\text{A}\!</math>
| <math>=\!</math>
| <math>[{}^{\backprime\backprime} \text{i} {}^{\prime\prime}]_\text{A}\!</math>
| width="20%" |
| <math>[{}^{\backprime\backprime} \text{B} {}^{\prime\prime}]_\text{A}\!</math>
| <math>=\!</math>
| <math>[{}^{\backprime\backprime} \text{u} {}^{\prime\prime}]_\text{A}\!</math>
|-
| width="10%" | or
| <math>{}^{\backprime\backprime} \text{A} {}^{\prime\prime}\!</math>
| <math>=_\text{A}\!</math>
| <math>{}^{\backprime\backprime} \text{i} {}^{\prime\prime}\!</math>
| width="20%" |
| <math>{}^{\backprime\backprime} \text{B} {}^{\prime\prime}\!</math>
| <math>=_\text{A}\!</math>
| <math>{}^{\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:
{| cellpadding="10"
| width="10%" |
| <math>[{}^{\backprime\backprime} \text{A} {}^{\prime\prime}]_\text{B}\!</math>
| <math>=\!</math>
| <math>[{}^{\backprime\backprime} \text{u} {}^{\prime\prime}]_\text{B}\!</math>
| width="20%" |
| <math>[{}^{\backprime\backprime} \text{B} {}^{\prime\prime}]_\text{B}\!</math>
| <math>=\!</math>
| <math>[{}^{\backprime\backprime} \text{i} {}^{\prime\prime}]_\text{B}\!</math>
|-
| width="10%" | or
| <math>{}^{\backprime\backprime} \text{A} {}^{\prime\prime}\!</math>
| <math>=_\text{B}\!</math>
| <math>{}^{\backprime\backprime} \text{u} {}^{\prime\prime}\!</math>
| width="20%" |
| <math>{}^{\backprime\backprime} \text{B} {}^{\prime\prime}\!</math>
| <math>=_\text{B}\!</math>
| <math>{}^{\backprime\backprime} \text{i} {}^{\prime\prime}\!</math>
|}
and the semiotic partition: <math>\{ \{ {}^{\backprime\backprime} \text{A} {}^{\prime\prime}, {}^{\backprime\backprime} \text{u} {}^{\prime\prime} \} , \{ {}^{\backprime\backprime} \text{B} {}^{\prime\prime}, {}^{\backprime\backprime} \text{i} {}^{\prime\prime} \} \}\!</math>.
<br>
<br>