Vous êtes sur la page 1sur 3

Daniela Guadalupe Garca Garca Teora de la Computacin A342

3.4 Formas normales de Greibach 1. Una gramtica libre de contexto esta en forma normal de Greibach si: R= Todas las funciones son de la forma A aa , donde a es un smbolo terminal y
a S N (

2. Cundo una gramtica libre de contexto se puede transformar?


R= Cuando no generen palabras bacas se puede trasformar en una gramtica libre de contexto en forma normal de Greibach.

3. Que es lo que no pude tener una forma normal de Greibach?


R= No puede tener producciones recursivas por la izquierda. Slo puede generar lenguajes no vacos que no contengan la e.

4. Que los lo primero que tenemos que ver para transformar?


R= Debemos observar si podemos ``componer producciones'' de manera que tengamos siempre una gramtica equivalente a la gramtica dada.

5. Que es una composicin de produccin? R= Si Gx = ( V {Z }, T , Px, S ) Si ( X 11 2 ) es una produccin en G y las


producciones en P(Y) pueden escribirse como | entonces al sustituir X 11 2 por las producciones Gx = ( V {Z }, T , Px, S ) , obtenemos una gramtica equivalente a G. En efecto, en toda derivacin terminal que aplique en un momento la produccin X 11 2 , necesariamente se ha de aplicar una produccin en P(Y) para suprimir el smbolo Y.

6. Sea G'=(V',T,P',S') la forma normal de Chomsky de G.


R= Modificaremos a las producciones en P' para tenerlas tales que toda produccin, cuyo consecuente se inicie con una variable, ha de ser de la forma V = { X 1 , X 2 , X 3 }

Inpu : A con j>i, para un cierto orden en el conjunto de variables actuales, digamos V = { X 1 , X 2 , X 3 } . Para esto apliquemos el procedimiento cuyo seudo cdigo se
presenta. Modificacin de producciones de acuerdo con el orden de V'.

7. Despus de haber hecho la transformacin anterior, se debe de hacer:

R=La ltima variable Xm slo puede ser antecedente de producciones cuyos consecuentes se inician con smbolos terminales, las producciones en P(Xm-1) cuyos consecuentes se inician con Xm pueden transformarse, siguiendo el tema de ``Composicin de producciones'', en producciones equivalentes cuyos consecuentes se inician con smbolos terminales, de manera sucesiva para i=m-2 hasta i=1 las producciones en P(Xi) cuyos consecuentes se inician con algn Xj, con j>i, en producciones equivalentes cuyos consecuentes se inician con smbolos terminales. Con todas estas transformaciones la gramtica resultante G*=(V*,T,P*,S*) es, en efecto, equivalente a G y est en forma normal de Greibach.

8. Un ejemplo mas claro seria:


R= Ej.- Transforme la siguiente en Forma Normal de Chomsky a Forma Normal de Greibach: A1A2A2|a

A2A1A2|b
Las producciones A1A2A2|a ya se encuentran en la forma necesaria para la primera etapa. Falta A2 La produccin A2b se acepta, pero A2A1A2 no. Al sustituir A1, se obtienen las producciones A2A2A2A2|aA2. Eliminando la recursividad por la izquierda, se obtienen las siguientes producciones: A1A2A2|a A2aA2|aA2Z|b|bZ ZA2A2|A2A2Z Finalmente, sustituyendo A2 de forma apropiada para que empiecen con un terminal todas las producciones, se tiene: A1aA2A2|aA2ZA2|bA2|bZA2|a A2aA2|aA2Z|b|bZ ZaA2A2|aA2ZA2|bA2|bZA2|aA2A2Z|aA2ZA2Z|bA2Z|bZA2Z

9.Otro ejemplo seria: X3 X2 X X 3 X 3 X1 X 3 X 2 X 3 bX 3 X 2Y3 | aY3 | Y3 X1 X 3 X 2 | X | X 2 bX 3 X 2Y3 X1 | aY3 X1 | bX3 X 1 bX 3 X 2Y3 X1 X 3 | aY3 X1 X 3 | Y3 bX 3 X 2Y3 X1 X 3 X 3 X 2 Y3 | bX3 X 2 X3 | aY3 X 1 X 3 X 3 X 2Y3 | aY3 V = { X 1 , X 2 , X 3 , Y3 }

10. En resumen, la gramtica equivalente, en forma normal de Greibach, tiene como conjunto; R= Que las variables a S ( ) | SS | ( S ) y sus posiciones son.:

Vous aimerez peut-être aussi