Left recursion elimination

Question

I have this grammar

S->S+S|SS|(S)|S*|a

I want to know how to eliminate the left recursion from this grammar because the S+S is really confusing...

Answer 1

Let's see if we can simplify the given grammar.

S -> S*|S+S|SS|(S)|a

We can write it as;

S -> S*|SQ|SS|B|a
Q -> +S
B -> (S)

Now, you can eliminate left recursion in familiar territory.

S  ->  BS'|aS'
S' ->  *S'|QS'|SS'|e
Q  ->  +S
B  ->  (S)

Note that e is epsilon/lambda.

We have removed the left recursion, so we no longer have need of Q and B.

S  ->  (S)S'|aS'
S' ->  *S'|+SS'|SS'|e

You'll find this useful when dealing with left recursion elimination .

Answer 2

My answer using theory from this reference

How to Eliminate Left recursion in Context-Free-Grammar.

S -->  S+S | SS | S*    |        a | (S)
      --------------            -------   
      Sα form                   β form    
      Left-Recursive-Rules      Non-Left-Recursive-Rules       

We can write like

S ---> Sα ₁ | Sα ₂ | Sα ₃ | β ₁ | β ₂

Rules to convert in equivalent Non-recursive grammar:

S ---> β ₁ | β ₂
Z ---> α ₁ | α ₂ | α ₃
Z ---> α ₁ Z | α ₂ Z | α ₃ Z
S ---> β ₁ Z | β ₂ Z

Where

α ₁ = +S
α ₂ = S
α ₃ = *

And β -productions not start starts with S :

β ₁ = a
β ₂ = (S)

Grammar without left-recursion:

Non- left recursive Productions S --> β _n

S -->  a | (S)   

Introduce new variable Z with following productions: Z ---> α _n and Z --> α _n Z

Z --> +S | S | * 

and 

Z --> +SZ | SZ | *Z  

And new S productions: S --> β _n Z

S -->  aZ | (S)Z     

---

Second form (answer)

Productions Z --> +S | S | * Z --> +S | S | * Z --> +S | S | * and Z --> +SZ | SZ | *Z Z --> +SZ | SZ | *Z Z --> +SZ | SZ | *Z can be combine as Z --> +SZ | SZ | *Z| ^ Z --> +SZ | SZ | *Z| ^ Z --> +SZ | SZ | *Z| ^ where ^ is null-symbol.

Z --> ^ use to remove Z from production rules.

So second answer :

S --> aZ | (S)Z S --> aZ | (S)Z and Z --> +SZ | SZ | *Z| ^ Z --> +SZ | SZ | *Z| ^