Ejercicio: Calcular los $FOLLOW$

Modificamos la gramática de la sección 2.6.1 para que admita la sentencia vacía:

statements $\rightarrow$ statement ';' statements $\vert$ statement

statement $\rightarrow$ ID '=' expression $\vert$ P expression $\vert \epsilon$

expression $\rightarrow$ term '+' expression $\vert$ term

term $\rightarrow$ factor '*' term $\vert$ factor

factor $\rightarrow$ '(' expression ')' $\vert$ ID $\vert$ NUM

Calcule los conjuntos $FOLLOW$. ¿Es la nueva gramática susceptible de ser analizada por un analizador predictivo descendente recursivo? ¿Cómo sería el código para la subrutina statements?. Escríbalo.