Encontrar uma gramática não é LL (1) sem usar métodos clássicos e transformá-la em LL (1)
Digamos que eu tenho essa gramática:
S -> A C x | u B A
A -> z A y | S u | ε
B -> C x | y B u
C -> B w B | w A
Esta gramática obviamente não é LL (1), que posso encontrar na construção da tabela de análise. Mas há alguma maneira de provar que essa gramática não é LL (1) sem usar os métodos clássicos, ou seja, sem construir a tabela de análise ou encontrar conflitos?
Também como posso converter esta gramática para LL (1)? Eu acho que tenho que usar a eliminação da derivação epsilon e a eliminação da recursão à esquerda, mas é um pouco complicado e, quantas vezes eu tentei, não consegui transformá-lo em LL (1
Agradeço antecipadamente