GramticasSi L es un lenguaje independiente del contexto que no tiene la cadena vaca,
entonces existe una gramtica G independiente del contexto tal que G(L)=L y el lado derecho de cada regla en G consiste en un solo terminal o exactamente dos no terminales.A BCA aDonde A, B y C estn en N y a en T
21 FORMA NORMAL DE GREIBACH
GramticasSi L es un lenguaje independiente del contexto que no tiene la cadena vaca, esta puede ser generada por una gramtica en la que todas las reglas tienen la forma: A a Donde: A est en N , a en T y una tira que est en N* http://www.uhu.es/francisco.moreno/talf/docs/tema3.pdf