Este documento presenta la forma normal de Greibach, la cual establece que una gramática independiente del contexto está en forma normal de Greibach si todas sus reglas de producción tienen un consecuente que empieza por un símbolo terminal. También describe un algoritmo para convertir cualquier gramática independiente del contexto en forma normal de Greibach. Finalmente, incluye un cuestionario sobre derivaciones a la izquierda y la motivación de las gramáticas libres de contexto.