12,080
edits
Changes
Directory:Jon Awbrey/Papers/Cactus Language (view source)
Revision as of 02:17, 27 December 2008
, 02:17, 27 December 2008→The Cactus Language : Syntax
Line 334:
Line 334:
|-
|-
|
|
−| The ''concatenation'' of the <math>k\!</math> strings <math>s_j,\!</math> for <math>j = 1 \ldots k,\!</math> is the string of the form <math>s_1 \cdot \ldots \cdot s_k.\!</math>
+| The ''concatenation'' of the <math>k\!</math> strings <math>s_j, j = 1 \ldots k,\!</math> is the string of the form <math>s_1 \cdot \ldots \cdot s_k.\!</math>
|-
|-
| valign="top" | 2.
| valign="top" | 2.
Line 343:
Line 343:
|-
|-
|
|
−| The ''surcatenation'' of <math>k\!</math> strings <math>s_j,\!</math> for <math>j = 1 \ldots k,\!</math> is the string of the form <math>^{\backprime\backprime} \, \operatorname{(} \, ^{\prime\prime} \, \cdot s_1 \cdot \, ^{\backprime\backprime} \, \operatorname{,} \, ^{\prime\prime} \, \cdot \ldots \cdot \, ^{\backprime\backprime} \, \operatorname{,} \, ^{\prime\prime} \, \cdot s_k \cdot \, ^{\backprime\backprime} \, \operatorname{)} \, ^{\prime\prime}.</math>
+| The ''surcatenation'' of the <math>k\!</math> strings <math>s_j, j = 1 \ldots k,\!</math> is the string of the form <math>^{\backprime\backprime} \, \operatorname{(} \, ^{\prime\prime} \, \cdot s_1 \cdot \, ^{\backprime\backprime} \, \operatorname{,} \, ^{\prime\prime} \, \cdot \ldots \cdot \, ^{\backprime\backprime} \, \operatorname{,} \, ^{\prime\prime} \, \cdot s_k \cdot \, ^{\backprime\backprime} \, \operatorname{)} \, ^{\prime\prime}.</math>
|}
|}