Line 158: |
Line 158: |
| | | | | |
| <math>\begin{array}{lllll} | | <math>\begin{array}{lllll} |
− | ^{\backprime\backprime}\operatorname{~}^{\prime\prime} & | + | ^{\backprime\backprime}\operatorname{~}^{\prime\prime} |
− | \leftarrow & | + | & \leftarrow & |
− | ^{\backprime\backprime}\operatorname{blank}^{\prime\prime} & | + | ^{\backprime\backprime}\operatorname{blank}^{\prime\prime} |
− | = & | + | & = & |
− | ^{\backprime\backprime}\operatorname{b}^{\prime\prime} \cdot\, | + | ^{\backprime\backprime}\operatorname{b}^{\prime\prime} \, \cdot \, |
− | ^{\backprime\backprime}\operatorname{l}^{\prime\prime} \cdot\, | + | ^{\backprime\backprime}\operatorname{l}^{\prime\prime} \, \cdot \, |
− | ^{\backprime\backprime}\operatorname{a}^{\prime\prime} \cdot\, | + | ^{\backprime\backprime}\operatorname{a}^{\prime\prime} \, \cdot \, |
− | ^{\backprime\backprime}\operatorname{n}^{\prime\prime} \cdot\, | + | ^{\backprime\backprime}\operatorname{n}^{\prime\prime} \, \cdot \, |
| ^{\backprime\backprime}\operatorname{k}^{\prime\prime} \\ | | ^{\backprime\backprime}\operatorname{k}^{\prime\prime} \\ |
| \end{array}</math> | | \end{array}</math> |
Line 186: |
Line 186: |
| ^{\backprime\backprime}\operatorname{~~}^{\prime\prime} | | ^{\backprime\backprime}\operatorname{~~}^{\prime\prime} |
| & = & | | & = & |
− | ^{\backprime\backprime}\operatorname{~}^{\prime\prime} | + | ^{\backprime\backprime}\operatorname{~}^{\prime\prime} \, \cdot \, |
− | \cdot\, | |
| ^{\backprime\backprime}\operatorname{~}^{\prime\prime} | | ^{\backprime\backprime}\operatorname{~}^{\prime\prime} |
| & = & | | & = & |
− | \operatorname{blank} | + | \operatorname{blank} \, \cdot \, \operatorname{blank} \\ |
− | \cdot\, | |
− | \operatorname{blank} \\ | |
| \\ | | \\ |
| ^{\backprime\backprime}\operatorname{~blank}^{\prime\prime} | | ^{\backprime\backprime}\operatorname{~blank}^{\prime\prime} |
| & = & | | & = & |
− | ^{\backprime\backprime}\operatorname{~}^{\prime\prime} | + | ^{\backprime\backprime}\operatorname{~}^{\prime\prime} \, \cdot \, |
− | \cdot\, | |
| ^{\backprime\backprime}\operatorname{blank}^{\prime\prime} | | ^{\backprime\backprime}\operatorname{blank}^{\prime\prime} |
| & = & | | & = & |
− | \operatorname{blank} | + | \operatorname{blank} \, \cdot\, |
− | \cdot\, | |
| ^{\backprime\backprime}\operatorname{blank}^{\prime\prime} \\ | | ^{\backprime\backprime}\operatorname{blank}^{\prime\prime} \\ |
| \\ | | \\ |
| ^{\backprime\backprime}\operatorname{blank~}^{\prime\prime} | | ^{\backprime\backprime}\operatorname{blank~}^{\prime\prime} |
| & = & | | & = & |
− | ^{\backprime\backprime}\operatorname{blank}^{\prime\prime} | + | ^{\backprime\backprime}\operatorname{blank}^{\prime\prime} \, \cdot \, |
− | \cdot\, | |
| ^{\backprime\backprime}\operatorname{~}^{\prime\prime} | | ^{\backprime\backprime}\operatorname{~}^{\prime\prime} |
| & = & | | & = & |
− | ^{\backprime\backprime}\operatorname{blank}^{\prime\prime} | + | ^{\backprime\backprime}\operatorname{blank}^{\prime\prime} \, \cdot \, |
− | \cdot\, | |
| \operatorname{blank} | | \operatorname{blank} |
| \end{array}</math> | | \end{array}</math> |
Line 334: |
Line 327: |
| |- | | |- |
| | | | | |
− | | 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> | + | | The ''concatenation'' of the <math>k\!</math> strings <math>(s_j)_{j = 1}^k</math> is the string of the form <math>s_1 \cdot \ldots \cdot s_k.\!</math> |
| |- | | |- |
| | valign="top" | 2. | | | valign="top" | 2. |
− | | The ''surcatenation'' of one string <math>s_1\!</math> is the string <math>^{\backprime\backprime} \, \operatorname{(} \, ^{\prime\prime} \, \cdot s_1 \cdot \, ^{\backprime\backprime} \, \operatorname{)} \, ^{\prime\prime}.</math> | + | | The ''surcatenation'' of one string <math>s_1\!</math> is the string <math>^{\backprime\backprime} \, \operatorname{(} \, ^{\prime\prime} \, \cdot \, s_1 \, \cdot \, ^{\backprime\backprime} \, \operatorname{)} \, ^{\prime\prime}.</math> |
| |- | | |- |
| | | | | |
− | | The ''surcatenation'' of two strings <math>s_1, s_2\!</math> is <math>^{\backprime\backprime} \, \operatorname{(} \, ^{\prime\prime} \, \cdot s_1 \cdot \, ^{\backprime\backprime} \, \operatorname{,} \, ^{\prime\prime} \, \cdot s_2 \cdot \, ^{\backprime\backprime} \, \operatorname{)} \, ^{\prime\prime}.</math> | + | | The ''surcatenation'' of two strings <math>s_1, s_2\!</math> is <math>^{\backprime\backprime} \, \operatorname{(} \, ^{\prime\prime} \, \cdot \, s_1 \, \cdot \, ^{\backprime\backprime} \, \operatorname{,} \, ^{\prime\prime} \, \cdot \, s_2 \, \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> | + | | The ''surcatenation'' of the <math>k\!</math> strings <math>(s_j)_{j = 1}^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> |
| |} | | |} |
| | | |