12,080
edits
Changes
Directory:Jon Awbrey/Papers/Cactus Language (view source)
Revision as of 18:50, 30 December 2008
, 18:50, 30 December 2008→The Cactus Language : Syntax: missing left parenthesis
<p>The ''subcatenation'' <math>\operatorname{Subc} (s_1, s_2)</math> of a subclause <math>s_1\!</math> by a string <math>s_2\!</math> is the string that is defined as follows:</p>
<p>The ''subcatenation'' <math>\operatorname{Subc} (s_1, s_2)</math> of a subclause <math>s_1\!</math> by a string <math>s_2\!</math> is the string that is defined as follows:</p>
<p><math>\operatorname{Subc} (s_1, s_2) \ = \ s_1 \, \cdot \, ^{\backprime\backprime} \, \operatorname{)} \, ^{\prime\prime} \, )^{-1} \, \cdot \, ^{\backprime\backprime} \, \operatorname{,} \, ^{\prime\prime} \, \cdot \, s_2 \, \cdot \, ^{\backprime\backprime} \, \operatorname{)} \, ^{\prime\prime}.</math></p>
<p><math>\operatorname{Subc} (s_1, s_2) \ = \ s_1 \, \cdot \, ( \, ^{\backprime\backprime} \, \operatorname{)} \, ^{\prime\prime} \, )^{-1} \, \cdot \, ^{\backprime\backprime} \, \operatorname{,} \, ^{\prime\prime} \, \cdot \, s_2 \, \cdot \, ^{\backprime\backprime} \, \operatorname{)} \, ^{\prime\prime}.</math></p>
<li>
<li>