12,080
edits
Changes
Directory:Jon Awbrey/Papers/Cactus Language (view source)
Revision as of 22:15, 30 December 2008
, 22:15, 30 December 2008→The Cactus Language : Syntax: markup
|-
|-
| || <math>s = s_1 \cdot t^{-1}.</math>
| || <math>s = s_1 \cdot t^{-1}.</math>
|-
| 4. || <math>s\!</math> is a ''subclause'' of <math>\mathfrak{L}</math> if and only if
|-
| || <math>s\!</math> is a sentence of <math>\mathfrak{L}</math> and <math>s\!</math> ends with a <math>^{\backprime\backprime} \, \operatorname{)} \, ^{\prime\prime}.</math>
|}
|}
<pre>
<pre>
5. z is the "subcatenation" of z_1 by z_2 if and only if
5. z is the "subcatenation" of z_1 by z_2 if and only if