In formal language theory, a context-free grammar is in Greibach normal form (GNF) if the right-hand sides of all production rules start with a terminal symbol, optionally followed by some variables. A non-strict form allows one exception to this format restriction for allowing the empty word (epsilon, ε) to be a member of the described language. The normal form was established by Sheila Greibach and it bears her name. More precisely, a context-free grammar is in Greibach normal form, if all production rules are of the form: where is a nonterminal symbol, is a terminal symbol, is a (possibly empty) sequence of nonterminal symbols not including the start symbol and is the start symbol. Observe that the grammar does not have left recursions. Every context-free grammar can be transformed into an equivalent grammar in Greibach normal form. Various constructions exist. Some do not permit the second form of rule and cannot transform context-free grammars that can generate the empty word. For one such construction the size of
En la teoría del lenguaje formal, una gramática libre de contexto es en la forma normal de Greibach (GNF) si los lados derecho de todas las reglas de producción comienzan con un símbolo terminal, opcionalmente seguido por algunas variables. Una forma no estricta permite una excepción a esta restricción de formato para permitir que la palabra vacía (epsilon, ε) sea un miembro de la lengua descrita. La forma normal fue establecida por Sheila Greibach y lleva su nombre. Más precisamente, una gramática libre de contexto es en la forma normal de Greibach, si todas las reglas de producción son de la forma: donde hay un símbolo no terminal, es un símbolo terminal, es una (posiblemente vacía) secuencia de símbolos no terminales que no incluye el símbolo de inicio y es el símbolo de inicio. Observe que la gramática no ha dejado recursiones. Cada gramática libre de contexto puede ser transformada en un equivalente en las formas normales de Greibach. Varias construcciones existen. Algunas no permiten la segunda fórmula de la construcción