Fatorização à Esquerda

Exemplo de ilustração

Sobre o alfabeto {a, b}, considere linguagem.

• 

descrita pela gramática:

• S -> a S b | a b

Obtenha uma gramática equivalente, pondo em evidência o a.

Relaxando a definição standard de gramática que se tem usado, pode obter-se:

• S -> a ( S b | b )

e criando um símbolo não terminal que represente o que está entre parêntesis, obtem-se a gramatica

• S -> a X X -> b | S b

Esta gramática permite a construção de um programa preditivo com lookahead de 1.