Digamos que tengo esta 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 no es LL (1), que puedo encontrar construyendo la tabla de análisis. Pero, ¿hay alguna forma de demostrar que esta gramática no es LL (1) sin utilizar los métodos clásicos, es decir, sin construir la tabla de análisis o encontrar conflictos?

Además, ¿cómo puedo convertir esta gramática a LL (1)? Creo que tengo que usar la eliminación de la derivación de épsilon y la eliminación de la recursión izquierda, pero es un poco complicado y, como muchas veces lo he intentado, no pude transformarlo en LL (1).

Gracias de antemano