Changes

===Grammar 1===

===Grammar 1===

Grammar&nbsp;1 is something of a misnomer.  It is nowhere near exemplifying any kind of a standard form and it is only intended as a starting point for the initiation of more respectable grammars.  Such as it is, it uses the terminal alphabet <math>\mathfrak{A} = \mathfrak{M} \cup \mathfrak{P}</math> that comes with the territory of the cactus language <math>\mathfrak{C} (\mathfrak{P}),</math> it specifies <math>\mathfrak{Q} = \emptyset,</math> in other words, it employs no intermediate symbols, and it embodies the ''covering set'' <math>\mathfrak{K}</math> as listed in the following display.

Grammar 1 is something of a misnomer.  It is nowhere near exemplifying

any kind of a standard form and it is only intended as a starting point

for the initiation of more respectable grammars.  Such as it is, it uses

the terminal alphabet !A! = !M! |_| !P! that comes with the territory of

the cactus language !C!(!P!), it specifies !Q! = {}, in other words, it

employs no intermediate symbols, and it embodies the "covering set" !K!

as listed in the following display.

| !C!(!P!). Grammar 1

{| align="center" cellpadding="10" cellspacing="0" width="90%"

|

| !Q! = {}

|

<math>\mathfrak{C} (\mathfrak{P}).\ \text{Grammar 1}</math>

| 1. S :> m_1 = " "

| width="10%" style="border-top:1px solid black; border-right:1px solid black;" |

<math>\mathfrak{Q} = \emptyset</math>

| 2. S :> p_j, for each j in J

|-

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

| 3. S :> Conc^0 = ""

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

| 4. S :> Surc^0 = "-()-"

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

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

| 5. S :> S*

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

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

| 6. S :> "-(" · 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}

In this formulation, the last two lines specify that:

In this formulation, the last two lines specify that: