Una https://es.wikipedia.org/wiki/Gramática_libre_de_contexto (GIC) está en Forma normal de Greibach ("FNG") si todas y cada una de sus reglas de producción tienen un consecuente que empieza por un carácter del alfabeto, también llamado símbolo terminal.