Question

I've read lots of things but can't apply the rule to the following grammar

 S -> SS
 S -> (S)
 S -> ()
Was it helpful?

Solution

According to the rule:

A  -> A a
   |  b

Should be:

A  -> b A'
A' -> a A'
   |  e

Where e is epsilon. So, in your case:

S  -> S S
   |  ( S )
   |  ()

It should be:

S  -> ( b ) S'
S' -> S S'
   |  e
b  -> S
   |  e
Licensed under: CC-BY-SA with attribution
Not affiliated with StackOverflow
scroll top