3
Lo más leído
7
Lo más leído
11
Lo más leído
INSTITUTO TECNOLOGICO SUPERIOR DE SAN MARTIN TEXMELUCAN PUEBLA CARLOS  MANUEL MORALES MORENOEDUARDO DOMINGUEZ JUAREZJOSE  ABELARDO CASTAÑEDA NITOLOURDES QUIROZ HERNANDEZ     4° SemestreTEORÍA DE LA COMPUTACIÓNLIC.YESENIA  PEREZ REYES
FORMAS NORMALES DE GREIBACH
Una gramática independiente del contexto (GIC) está en Forma normal de Greibach (FNG) si todas y cada una de sus reglas de producción tienen un consecuente que empieza por un carácter del alfabeto, también llamado símbolo terminal. Formalmente, cualquiera de las reglas tendrá la estructura:A − > aw
Forma Normal de GreibachG=(N, Σ, P, S) diremos que está en forma normal de Greibach si todas sus producciones son de la formaA -> aα a ∈ Σ α ∈ N*
Para toda gramática incontextual G existe una gramática incontextualG’ en forma normal de Greibach tal que L(G’) = L(G) – {λ}
Algoritmo para la obtención de la Forma Normal de Greibach (1)Entrada G=(N, Σ, P, S) gramática incontextual arbitraria con L(G) ≠ ∅Sal ida G1=(N1, Σ 1, P1, S) gramática em FNG tal que L(G1) = L(G) – {λ}
Método /* Pasos preliminares *//* Fase 1 */
Al final de la Fase 1 las producciones están en una de las tres formas(1) Ai -> Aj γ con j > i(2) Ai -> a γ(3) Bi -> γ con a ∈ Σ γ ∈ (N ∪ { B1, B2, …, Bi-1*
• Las producciones de la forma (2) ya están en FNG• Todas las producciones de Am ya están en FNG• Las producciones de los nuevos símbolos Bi comienzan por símbolos Aj
Ejemplo  */ Fase 1*/G=(N, Σ, P, A1) (simplificada y en FNC)A1 -> A2A3A2 -> A1A2| aA3 -> A1A3| b
/* Fase 2 */   G1=(N1, Σ1, P1, A1A1 -> a A3| a B2A3A2 -> a | a B2B2 -> a A3A3 A2B2 | a B2 A3 A3 A2 B2| b A2B2a A3 A3 A2| a B2 A3 A3 A2| b A2A3 -> a A3A3| a B2A3 A3| b
3.5 Eliminación de Factores Comunes IzquierdosExisten gramáticas que tiene producciones de la forma A ¡ å ß1 | å ß2 como por ejemplo:S ¡ i E t S e S | i E t Sdonde å es el término común en las producciones de A.	Sin embargo para poder llevar a cabo el análisis sintáctico de las mismas mediante algunas técnicas se debe eliminar los términos comunes izquierdos llevando a cabo el proceso de factorización siguiente:Las producciones A ¡ å ß1| å ß2 se transforman en las siguientesA ¡ å A´A´¡ ß | ß2
3.5 Eliminación de Factores Comunes IzquierdosCUESTIONARIO1.- ¿A QUE SE LLAMA DERIVACION A LA IZQUIERDA?Se llama derivación izquierda de una palabra w a una secuencia S ) w1 ) . . . ) wn ) w en donde, para pasar de wi a wi+1, se aplica una regla al no Terminal de wique se encuentre mas a la izquierda.2.- DA UN EJEMPLO.Para la gramática no ambigua con reglas S ! AB, A ! a, B ! b, la palabra ab se produce con la derivación izquierda:S ) AB ) aB) ab3.- ¿POR QUE ESTE TIPO DE DERIVACION ES IMPORTANTE?Para restringir el numero de elecciones a hacer al derivar una cadena.4.- ¿QUE SUCEDE  AL REALIZAR ESTE PASO?En este caso es útil exigir que en cada paso se reemplace la variable situada más a la izquierda por uno de sus producciones.
3.5 Eliminación de Factores Comunes IzquierdosCUESTIONARIO5.-  ¿CUAL ES SU SIMBOLISMO?Se indica que es una derivación a la izquierda utilizando  las    relaciones     => y =>  para o mas paso respectivamente.*       *MI    MI 6.-  ¿A QUE SE REFIERE CON QUE PARA CADA DERIVACION MAS A LA IZQUIERDA ES EQUIVALENTE?Teóricamente este se define como: si w es una  cadena  Terminal y A una  variable, entonces A=>w *si y solo si A=>w, y A*=> w si y solo si * A=>w.  7.-  DEFINE CON TUS PROPIAS PALABRAS QUE ES LA DERIVACION POR IZQUIERDA.Es cuando en cada paso en una derivación una producción a la variable mas a la izquierda.
CUESTIONARIO8.-  DA UN EJEMPLO TUYO DE DERIVACION MAS A LA IZQUIERDA.N=>aAS=>aSbAS=>aabAS=>aabbaS=>aabbaa 9.-  ¿SE UNA DERIVACION A LA IZQUIERDA ES EQUIVALENTE QUE SE ESPERA DE LA MISMA A LA DERECHA?Que también sea equivalente ya que la teoría dice que ambas deben ser equivalentes. 10.- ¿QUE MOTIVO LA CREACION DE LA GRAMTICA LIBRE DE CONTEXTO?Fue la necesidad de descripción de lenguajes naturales donde las variables se escriben dentro de corchetes y las terminales son por ejemplo, la palabra “niño”.

Más contenido relacionado

PDF
Autómata de Pila
PPT
Automatas de pila
PPTX
Autómatas finitos no deterministas
PPT
Jerarquia de chomsky
PPT
Estructura de un compilador 2
PDF
Gramaticas y lic
PDF
Ejercicios de Multiplexores y decodificadores
PDF
Tipos de Autómatas 
Autómata de Pila
Automatas de pila
Autómatas finitos no deterministas
Jerarquia de chomsky
Estructura de un compilador 2
Gramaticas y lic
Ejercicios de Multiplexores y decodificadores
Tipos de Autómatas 

La actualidad más candente (20)

PPTX
Análisis y Diseño de Algoritmos
PPT
Operaciones entre lenguajes
PPTX
Autómatas Finitos Deterministas y Lenguajes Formales
PDF
Puertaslogicasysistemascombinacionales 110228082200-phpapp01
PDF
Manual de raptor
PDF
1.5 Metodología para la Solucion de Problemas
PDF
Tutorial de JFLAP
PDF
Clase Circuitos Aritméticos
PPT
16a clase otras aplicaciones de comparadores
PPTX
Registro de banderas y alu
DOCX
Mosfect en empobrecimiento
PPTX
Características de sumadores, codificadores, decodificadores, multiplexores y...
PDF
Circuitos digitales-problemas
PPTX
Gramática Libre de Contexto
PPTX
Lenguaje de programación
PPT
Ejercicios
PDF
Programación 1: funciones en C
PPTX
Analizador Sintáctico
PDF
Técnicas de programación en ensamblador pic16f877a repertorio 35 instrucciones
PDF
Tema 4 -_ejercicios_resueltos
Análisis y Diseño de Algoritmos
Operaciones entre lenguajes
Autómatas Finitos Deterministas y Lenguajes Formales
Puertaslogicasysistemascombinacionales 110228082200-phpapp01
Manual de raptor
1.5 Metodología para la Solucion de Problemas
Tutorial de JFLAP
Clase Circuitos Aritméticos
16a clase otras aplicaciones de comparadores
Registro de banderas y alu
Mosfect en empobrecimiento
Características de sumadores, codificadores, decodificadores, multiplexores y...
Circuitos digitales-problemas
Gramática Libre de Contexto
Lenguaje de programación
Ejercicios
Programación 1: funciones en C
Analizador Sintáctico
Técnicas de programación en ensamblador pic16f877a repertorio 35 instrucciones
Tema 4 -_ejercicios_resueltos
Publicidad

Destacado (20)

PPS
Arbol analisis sintactico
PPSX
Sintaxis
PDF
Analisis sintactico
PDF
Arboles de derivacion
PDF
Arbol
PPTX
Análisis del árbol
PDF
Análisis sintáctico 05 el arbol_que_compramos_ayer
PPTX
Etapas de crecimiento de un árbol
PDF
Presentación espa semi
PDF
introducción al bachillerato semipresencial
PPTX
Matrices
PDF
Analisis sintactico
PDF
Procesamiento de Lenguaje Natural, Python y NLTK
PPSX
Ejercicios De Oraciones Subordinadas
PPTX
Análisis léxico y análisis sintáctico
PPT
Generador de codigo intermedio
PPS
Historia De Los Numeros
PPS
Análisis de la oración simple (I)
PPT
Oraciones Subordinadas Sustantivas. Funciones
PPT
Nexos de las oraciones adverbiales
Arbol analisis sintactico
Sintaxis
Analisis sintactico
Arboles de derivacion
Arbol
Análisis del árbol
Análisis sintáctico 05 el arbol_que_compramos_ayer
Etapas de crecimiento de un árbol
Presentación espa semi
introducción al bachillerato semipresencial
Matrices
Analisis sintactico
Procesamiento de Lenguaje Natural, Python y NLTK
Ejercicios De Oraciones Subordinadas
Análisis léxico y análisis sintáctico
Generador de codigo intermedio
Historia De Los Numeros
Análisis de la oración simple (I)
Oraciones Subordinadas Sustantivas. Funciones
Nexos de las oraciones adverbiales
Publicidad

Similar a FORMAS NORMALES DE GREIBACH (20)

PDF
Gramáticas libres de contexto en su habitát
PDF
Gramaticas
PPT
PPT
gramatica-libre-de-contexto.ppt
PPT
GRAMATICA LIBRE DE CONTEXTO.ppt
PPTX
Gramáticas formales
PDF
Gramáticas libres de contexto en su habitát
DOCX
Automat1111
PDF
Abro paréntesis, abro paréntesis, cierro parentesis, .
PDF
Abro paréntesis, abro paréntesis, cierro parentesis, .
PDF
Analizador Sintáctico
PPT
Clase1 teoria
PPT
Clase1 teoria de lenguajes
PDF
Revisando la jerarquía de chomsky
PPTX
Sesión 4 y 5 LFP.pptx
PDF
PDF
Unidad temática iv
PPTX
Presentacion automata grupo 1 unibe 02-02-2018
PPT
Expresiones regulares y gramaticas
DOC
Lenguajes Formales
 
Gramáticas libres de contexto en su habitát
Gramaticas
gramatica-libre-de-contexto.ppt
GRAMATICA LIBRE DE CONTEXTO.ppt
Gramáticas formales
Gramáticas libres de contexto en su habitát
Automat1111
Abro paréntesis, abro paréntesis, cierro parentesis, .
Abro paréntesis, abro paréntesis, cierro parentesis, .
Analizador Sintáctico
Clase1 teoria
Clase1 teoria de lenguajes
Revisando la jerarquía de chomsky
Sesión 4 y 5 LFP.pptx
Unidad temática iv
Presentacion automata grupo 1 unibe 02-02-2018
Expresiones regulares y gramaticas
Lenguajes Formales
 

FORMAS NORMALES DE GREIBACH

  • 1. INSTITUTO TECNOLOGICO SUPERIOR DE SAN MARTIN TEXMELUCAN PUEBLA CARLOS MANUEL MORALES MORENOEDUARDO DOMINGUEZ JUAREZJOSE ABELARDO CASTAÑEDA NITOLOURDES QUIROZ HERNANDEZ 4° SemestreTEORÍA DE LA COMPUTACIÓNLIC.YESENIA PEREZ REYES
  • 3. Una gramática independiente del contexto (GIC) está en Forma normal de Greibach (FNG) si todas y cada una de sus reglas de producción tienen un consecuente que empieza por un carácter del alfabeto, también llamado símbolo terminal. Formalmente, cualquiera de las reglas tendrá la estructura:A − > aw
  • 4. Forma Normal de GreibachG=(N, Σ, P, S) diremos que está en forma normal de Greibach si todas sus producciones son de la formaA -> aα a ∈ Σ α ∈ N*
  • 5. Para toda gramática incontextual G existe una gramática incontextualG’ en forma normal de Greibach tal que L(G’) = L(G) – {λ}
  • 6. Algoritmo para la obtención de la Forma Normal de Greibach (1)Entrada G=(N, Σ, P, S) gramática incontextual arbitraria con L(G) ≠ ∅Sal ida G1=(N1, Σ 1, P1, S) gramática em FNG tal que L(G1) = L(G) – {λ}
  • 7. Método /* Pasos preliminares *//* Fase 1 */
  • 8. Al final de la Fase 1 las producciones están en una de las tres formas(1) Ai -> Aj γ con j > i(2) Ai -> a γ(3) Bi -> γ con a ∈ Σ γ ∈ (N ∪ { B1, B2, …, Bi-1*
  • 9. • Las producciones de la forma (2) ya están en FNG• Todas las producciones de Am ya están en FNG• Las producciones de los nuevos símbolos Bi comienzan por símbolos Aj
  • 10. Ejemplo */ Fase 1*/G=(N, Σ, P, A1) (simplificada y en FNC)A1 -> A2A3A2 -> A1A2| aA3 -> A1A3| b
  • 11. /* Fase 2 */ G1=(N1, Σ1, P1, A1A1 -> a A3| a B2A3A2 -> a | a B2B2 -> a A3A3 A2B2 | a B2 A3 A3 A2 B2| b A2B2a A3 A3 A2| a B2 A3 A3 A2| b A2A3 -> a A3A3| a B2A3 A3| b
  • 12. 3.5 Eliminación de Factores Comunes IzquierdosExisten gramáticas que tiene producciones de la forma A ¡ å ß1 | å ß2 como por ejemplo:S ¡ i E t S e S | i E t Sdonde å es el término común en las producciones de A. Sin embargo para poder llevar a cabo el análisis sintáctico de las mismas mediante algunas técnicas se debe eliminar los términos comunes izquierdos llevando a cabo el proceso de factorización siguiente:Las producciones A ¡ å ß1| å ß2 se transforman en las siguientesA ¡ å A´A´¡ ß | ß2
  • 13. 3.5 Eliminación de Factores Comunes IzquierdosCUESTIONARIO1.- ¿A QUE SE LLAMA DERIVACION A LA IZQUIERDA?Se llama derivación izquierda de una palabra w a una secuencia S ) w1 ) . . . ) wn ) w en donde, para pasar de wi a wi+1, se aplica una regla al no Terminal de wique se encuentre mas a la izquierda.2.- DA UN EJEMPLO.Para la gramática no ambigua con reglas S ! AB, A ! a, B ! b, la palabra ab se produce con la derivación izquierda:S ) AB ) aB) ab3.- ¿POR QUE ESTE TIPO DE DERIVACION ES IMPORTANTE?Para restringir el numero de elecciones a hacer al derivar una cadena.4.- ¿QUE SUCEDE AL REALIZAR ESTE PASO?En este caso es útil exigir que en cada paso se reemplace la variable situada más a la izquierda por uno de sus producciones.
  • 14. 3.5 Eliminación de Factores Comunes IzquierdosCUESTIONARIO5.- ¿CUAL ES SU SIMBOLISMO?Se indica que es una derivación a la izquierda utilizando las relaciones => y =>  para o mas paso respectivamente.* *MI MI 6.- ¿A QUE SE REFIERE CON QUE PARA CADA DERIVACION MAS A LA IZQUIERDA ES EQUIVALENTE?Teóricamente este se define como: si w es una cadena Terminal y A una variable, entonces A=>w *si y solo si A=>w, y A*=> w si y solo si * A=>w.  7.- DEFINE CON TUS PROPIAS PALABRAS QUE ES LA DERIVACION POR IZQUIERDA.Es cuando en cada paso en una derivación una producción a la variable mas a la izquierda.
  • 15. CUESTIONARIO8.- DA UN EJEMPLO TUYO DE DERIVACION MAS A LA IZQUIERDA.N=>aAS=>aSbAS=>aabAS=>aabbaS=>aabbaa 9.- ¿SE UNA DERIVACION A LA IZQUIERDA ES EQUIVALENTE QUE SE ESPERA DE LA MISMA A LA DERECHA?Que también sea equivalente ya que la teoría dice que ambas deben ser equivalentes. 10.- ¿QUE MOTIVO LA CREACION DE LA GRAMTICA LIBRE DE CONTEXTO?Fue la necesidad de descripción de lenguajes naturales donde las variables se escriben dentro de corchetes y las terminales son por ejemplo, la palabra “niño”.