MyWikiBiz, Author Your Legacy — Saturday September 28, 2024
Jump to navigationJump to search
469 bytes added
, 18:50, 6 January 2009
Line 1,009: |
Line 1,009: |
| | | |
| For the sake of future reference, it is convenient to refer to this restriction on intermediate symbols as the ''intermediate significance'' constraint. It can be stated in a compact form as a condition on the relations between non-terminal symbols <math>q \in \{ \, ^{\backprime\backprime} S ^{\prime\prime} \, \} \cup \mathfrak{Q}</math> and sentential forms <math>W \in \{ \, ^{\backprime\backprime} S ^{\prime\prime} \, \} \cup (\mathfrak{Q} \cup \mathfrak{A})^*.</math> | | For the sake of future reference, it is convenient to refer to this restriction on intermediate symbols as the ''intermediate significance'' constraint. It can be stated in a compact form as a condition on the relations between non-terminal symbols <math>q \in \{ \, ^{\backprime\backprime} S ^{\prime\prime} \, \} \cup \mathfrak{Q}</math> and sentential forms <math>W \in \{ \, ^{\backprime\backprime} S ^{\prime\prime} \, \} \cup (\mathfrak{Q} \cup \mathfrak{A})^*.</math> |
| + | |
| + | <br> |
| + | |
| + | {| align="center" cellpadding="12" cellspacing="0" style="border-top:1px solid black" width="90%" |
| + | | align="center" style="border-left:1px solid black; border-right:1px solid black" | |
| + | <math>\text{Condition On Intermediate Significance}\!</math> |
| + | |- |
| + | | style="border-top:1px solid black; border-bottom:1px solid black; border-left:1px solid black; border-right:1px solid black" | |
| + | <math>\begin{array}{lccc} |
| + | \text{If} |
| + | & q |
| + | & :> |
| + | & W |
| + | \\ |
| + | \text{and} |
| + | & W |
| + | & = |
| + | & \varepsilon |
| + | \\ |
| + | \text{then} |
| + | & q |
| + | & = |
| + | & ^{\backprime\backprime} \, S \, ^{\prime\prime} |
| + | \\ |
| + | \end{array}</math> |
| + | |} |
| + | |
| + | <br> |
| | | |
| <pre> | | <pre> |
− | | Condition On Intermediate Significance
| |
− | |
| |
− | | If q :> W
| |
− | |
| |
− | | and W = !e!,
| |
− | |
| |
− | | then q = "S".
| |
− |
| |
| If this is beginning to sound like a monotone condition, then it is | | If this is beginning to sound like a monotone condition, then it is |
| not absurd to sharpen the resemblance and render the likeness more | | not absurd to sharpen the resemblance and render the likeness more |