Fatorização à Esquerda
Last updated
Last updated
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.