Prueba

Páginas: 3 (570 palabras) Publicado: 7 de abril de 2011
Daniela Guadalupe García García
Teoría de la Computación A342
3.4 Formas normales de Greibach

1. Una gramática libre de contexto esta en forma normal de Greibach si:
R= Todas las funciones sonde la forma [pic], donde a es un símbolo terminal y [pic]
2. ¿Cuándo una gramática libre de contexto se puede transformar?
R= Cuando no generen palabras bacías se puede trasformar en unagramática 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. Sólo puede generarlenguajes no vacíos 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 unagramática equivalente a la gramática dada.

5. ¿Que es una composición de producción?
R= Si [pic] Si [pic] es una producción en G y las producciones en P(Y) pueden escribirse como | entonces alsustituir [pic] por las producciones [pic], obtenemos una gramática equivalente a G.
En efecto, en toda derivación terminal que aplique en un momento la producción[pic], necesariamente se ha de aplicaruna producción en P(Y) para suprimir el símbolo 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 producción, cuyoconsecuente se inicie con una variable, ha de ser de la forma [pic][pic] con j>i, para un cierto orden en el conjunto de variables actuales, digamos [pic]. Para esto apliquemos el procedimiento cuyoseudo código se presenta.

|Modificación de producciones de acuerdo con el orden de V'. |
|[pic] |

7.Después de haber hecho la transformación anterior, se debe de hacer:
R=La última variable Xm sólo puede ser antecedente de producciones cuyos consecuentes se inician con símbolos terminales, las...
Leer documento completo

Regístrate para leer el documento completo.

Estos documentos también te pueden resultar útiles

  • Prueba
  • Prueba
  • Prueba
  • Prueba
  • Pruebas
  • Pruebas
  • Prueba
  • Prueba

Conviértase en miembro formal de Buenas Tareas

INSCRÍBETE - ES GRATIS