Ejercicio: Caracterización de una gramática LL(1)

Cuando se dice que una gramática es LL(1) si, y sólo si:

1. $FIRST(\alpha) \cap FIRST(\beta) = \emptyset$
2. Si $\epsilon \in FIRST(\alpha)$, entonces $FIRST(\alpha) \cap FOLLOW(A) = \emptyset$

se asume que los conjuntos $FIRST(\alpha)$ no son vacíos.

• ¿Que se puede decir de la regla $A \rightarrow \alpha$ si $FIRST(\alpha) = \emptyset$?
• ¿Que se puede decir de la variable $A$ si $FOLLOW(A) = \emptyset$?