12,080
edits
Changes
Directory:Jon Awbrey/Papers/Cactus Language (view source)
Revision as of 18:50, 6 January 2009
, 18:50, 6 January 2009→Grammar 4: markup
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>
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