# Pregunta 4 en examen E79 - 1 de septiembre de 2004 B.1) Si G es LL(1) y tiene las reglas ->a y ->a, podemos afirmar dos cosas sobre : 1) que no es anulable, y 2) que a no esta en primeros(). La razon es que la produccion ->a hace que en la tabla de analisis LL(1) de G tengamos a en la celda M[,a]. Si fuese anulable, o si a estuviese en primeros(), tendriamos a en primeros(a), y por tanto tendriamos tambien a en M[,a], lo cual seria un conflicto LL(1). Como G es LL(1), eso no puede suceder.