Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Greibash
Greibash
(FNG)
Una GLC está en FNG si
La variable inicial no es recursiva
G no tiene variables inútiles.
G no tiene producciones ɛ (excepto posiblemente
S →ɛ ).
Todas las producciones son de la forma: A →a ó
A →aB1B2…Bk donde Bi son variables.
Lema 4.11.3