Changes

| colspan="3" style="border-top:1px solid black; border-bottom:1px solid black; border-left:1px solid black; border-right:1px solid black" |

| colspan="3" style="border-top:1px solid black; border-bottom:1px solid black; border-left:1px solid black; border-right:1px solid black" |

<math>\begin{array}{llll}

<math>\begin{array}{llll}

1. & S & :> & m_1 \ = \ ^{\backprime\backprime} \operatorname{~} ^{\prime\prime} \\

1.

2. & S & :> & p_j, \text{for each}\ j \in J \\

& S

3. & S & :> & \operatorname{Conc}^0 \ = \ ^{\backprime\backprime\prime\prime} \\

& :>

4. & S & :> & \operatorname{Surc}^0 \ = \ ^{\backprime\backprime} \, \operatorname{()} \, ^{\prime\prime} \\

& m_1 \ = \ ^{\backprime\backprime} \operatorname{~} ^{\prime\prime}

5. & S & :> & S^* \\

\\

6. & S & :> & ^{\backprime\backprime} \, \operatorname{(} \, ^{\prime\prime} \, \cdot \, S \, \cdot \, ( \, ^{\backprime\backprime} \operatorname{,} ^{\prime\prime} \, \cdot \, S \, )^* \, \cdot \, ^{\backprime\backprime} \, \operatorname{)} \, ^{\prime\prime} \\

2.

& S

& :>

& p_j, \, \text{for each} \, j \in J

\\

3.

& S

& :>

& \operatorname{Conc}^0 \ = \ ^{\backprime\backprime\prime\prime}

\\

4.

& S

& :>

& \operatorname{Surc}^0 \ = \ ^{\backprime\backprime} \, \operatorname{()} \, ^{\prime\prime}

\\

5.

& S

& :>

& S^*

\\

6.

& S

& :>

& ^{\backprime\backprime} \, \operatorname{(} \, ^{\prime\prime} \, \cdot \, S \, \cdot \, ( \, ^{\backprime\backprime} \operatorname{,} ^{\prime\prime} \, \cdot \, S \, )^* \, \cdot \, ^{\backprime\backprime} \, \operatorname{)} \, ^{\prime\prime}

\\

\end{array}</math>

\end{array}</math>

|}

|}