SlideShare una empresa de Scribd logo
INSTITUTO TECNOLOGICO SUPERIOR  DE SAN MARTIN TEXMELUCAN PUEBLA  CARLOS  MANUEL MORALES MORENO EDUARDO DOMINGUEZ JUAREZ JOSE  ABELARDO CASTAÑEDA NITO LOURDES QUIROZ HERNANDEZ      4° Semestre TEORÍA DE LA COMPUTACIÓN LIC.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 Greibach G=(N, Σ, P, S) diremos que está en forma normal de Greibach si todas sus  producciones son de la forma A -> aα a ∈ Σ α ∈ N*
Para toda gramática incontextual G existe una gramática incontextual G’ 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 -> A2A3 A2 -> A1A2| a A3 -> A1A3| b
/* Fase 2 */   G1=(N1, Σ1, P1, A1 A1 -> a A3| a B2A3 A2 -> a | a B2 B2 -> a A3A3 A2B2 | a B2 A3 A3 A2 B2| b A2B2 a A3 A3 A2| a B2 A3 A3 A2| b A2 A3 -> a A3A3| a B2A3 A3| b
3.5 Eliminación de Factores Comunes Izquierdos Existen gramáticas que tiene producciones de la forma A ¡ å ß1 | å ß2 como por ejemplo: S ¡ i E t S e S | i E t S donde å 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 siguientes A ¡ å A´ A´¡ ß | ß2
3.5 Eliminación de Factores Comunes Izquierdos CUESTIONARIO 1.- ¿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 wi que 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) ab 3.- ¿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 Izquierdos CUESTIONARIO 5.-  ¿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.
CUESTIONARIO 8.-  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

La actualidad más candente

Autómatas Finitos
Autómatas FinitosAutómatas Finitos
Autómatas Finitos
Mariela Bussi Pimentel
 
Sistemas lineales discretos
Sistemas lineales discretosSistemas lineales discretos
Sistemas lineales discretos
Ñero Lopez
 
Articulo Autómata (push down)
Articulo Autómata (push down)Articulo Autómata (push down)
Articulo Autómata (push down)Scarlinr
 
Teoria de automatas
Teoria de automatasTeoria de automatas
Teoria de automatas
equipolf
 
Gramáticas formales
Gramáticas formales Gramáticas formales
Gramáticas formales
Astrid Rodriguez
 
CONCEPTOS Y FUNDAMENTOS DE LÓGICA DIFUSA 2
CONCEPTOS Y FUNDAMENTOS   DE LÓGICA DIFUSA 2CONCEPTOS Y FUNDAMENTOS   DE LÓGICA DIFUSA 2
CONCEPTOS Y FUNDAMENTOS DE LÓGICA DIFUSA 2
ESCOM
 
Mapa mental señales analógicas y digitales
Mapa mental señales analógicas y digitalesMapa mental señales analógicas y digitales
Mapa mental señales analógicas y digitales
carlosortega9518
 
Teoría de autómatas
Teoría de autómatasTeoría de autómatas
Teoría de autómatas
Listiany Agramonte Mendoza
 
Div, idiv, Neg ensamblador
Div, idiv, Neg ensambladorDiv, idiv, Neg ensamblador
Div, idiv, Neg ensamblador
David Flores Gallegos
 
Señales y sistemas
Señales y sistemasSeñales y sistemas
Señales y sistemas
MateoLeonidez
 
Multiplexor 4 Entradas 1 Salida (4-1)
Multiplexor 4 Entradas 1 Salida (4-1)Multiplexor 4 Entradas 1 Salida (4-1)
Multiplexor 4 Entradas 1 Salida (4-1)
251089luis
 
ejercicios diagramas de BLOQUES.pdf
ejercicios diagramas de BLOQUES.pdfejercicios diagramas de BLOQUES.pdf
ejercicios diagramas de BLOQUES.pdf
AnaLeon960959
 
Analisis Semantico
Analisis Semantico Analisis Semantico
Analisis Semantico
Martin Paucar Mendez
 
Ejercicios resueltos grafos
Ejercicios resueltos grafosEjercicios resueltos grafos
Ejercicios resueltos grafos
TERE FERNÁNDEZ
 
Set de 35 instrucciones para pic16f877A programación en assembler
Set de 35 instrucciones para pic16f877A programación en assembler Set de 35 instrucciones para pic16f877A programación en assembler
Set de 35 instrucciones para pic16f877A programación en assembler
Anllel Cardenas Yllanes
 
Ejercicios con Lenguajes Formales
Ejercicios con Lenguajes FormalesEjercicios con Lenguajes Formales
Ejercicios con Lenguajes Formalesvmtorrealba
 
Introducción a la Simulación de Eventos Discretos
Introducción a la Simulación de Eventos DiscretosIntroducción a la Simulación de Eventos Discretos
Introducción a la Simulación de Eventos Discretos
Juan Manuel Carrión Delgado
 
Sistema control onoff
Sistema control onoffSistema control onoff
Sistema control onoffSalvador-UNSA
 
Propiedades de laplace
Propiedades de laplacePropiedades de laplace
Propiedades de laplace
luis hernandez
 

La actualidad más candente (20)

Autómatas Finitos
Autómatas FinitosAutómatas Finitos
Autómatas Finitos
 
Sistemas lineales discretos
Sistemas lineales discretosSistemas lineales discretos
Sistemas lineales discretos
 
Articulo Autómata (push down)
Articulo Autómata (push down)Articulo Autómata (push down)
Articulo Autómata (push down)
 
Teoria de automatas
Teoria de automatasTeoria de automatas
Teoria de automatas
 
Gramáticas formales
Gramáticas formales Gramáticas formales
Gramáticas formales
 
CONCEPTOS Y FUNDAMENTOS DE LÓGICA DIFUSA 2
CONCEPTOS Y FUNDAMENTOS   DE LÓGICA DIFUSA 2CONCEPTOS Y FUNDAMENTOS   DE LÓGICA DIFUSA 2
CONCEPTOS Y FUNDAMENTOS DE LÓGICA DIFUSA 2
 
Mapa mental señales analógicas y digitales
Mapa mental señales analógicas y digitalesMapa mental señales analógicas y digitales
Mapa mental señales analógicas y digitales
 
Teoría de autómatas
Teoría de autómatasTeoría de autómatas
Teoría de autómatas
 
Div, idiv, Neg ensamblador
Div, idiv, Neg ensambladorDiv, idiv, Neg ensamblador
Div, idiv, Neg ensamblador
 
Señales y sistemas
Señales y sistemasSeñales y sistemas
Señales y sistemas
 
Multiplexor 4 Entradas 1 Salida (4-1)
Multiplexor 4 Entradas 1 Salida (4-1)Multiplexor 4 Entradas 1 Salida (4-1)
Multiplexor 4 Entradas 1 Salida (4-1)
 
ejercicios diagramas de BLOQUES.pdf
ejercicios diagramas de BLOQUES.pdfejercicios diagramas de BLOQUES.pdf
ejercicios diagramas de BLOQUES.pdf
 
Analisis Semantico
Analisis Semantico Analisis Semantico
Analisis Semantico
 
Ejercicios resueltos grafos
Ejercicios resueltos grafosEjercicios resueltos grafos
Ejercicios resueltos grafos
 
Set de 35 instrucciones para pic16f877A programación en assembler
Set de 35 instrucciones para pic16f877A programación en assembler Set de 35 instrucciones para pic16f877A programación en assembler
Set de 35 instrucciones para pic16f877A programación en assembler
 
Ejercicios con Lenguajes Formales
Ejercicios con Lenguajes FormalesEjercicios con Lenguajes Formales
Ejercicios con Lenguajes Formales
 
Control Adaptativo
Control AdaptativoControl Adaptativo
Control Adaptativo
 
Introducción a la Simulación de Eventos Discretos
Introducción a la Simulación de Eventos DiscretosIntroducción a la Simulación de Eventos Discretos
Introducción a la Simulación de Eventos Discretos
 
Sistema control onoff
Sistema control onoffSistema control onoff
Sistema control onoff
 
Propiedades de laplace
Propiedades de laplacePropiedades de laplace
Propiedades de laplace
 

Destacado

Analisis sintactico
Analisis sintacticoAnalisis sintactico
Analisis sintactico
Carlos Brusil
 
Arboles de derivacion
Arboles de derivacionArboles de derivacion
Arboles de derivacionLuis Couoh
 
Análisis del árbol
Análisis del árbolAnálisis del árbol
Análisis del árbolalaynaq
 
Análisis sintáctico 05 el arbol_que_compramos_ayer
Análisis sintáctico 05 el arbol_que_compramos_ayerAnálisis sintáctico 05 el arbol_que_compramos_ayer
Análisis sintáctico 05 el arbol_que_compramos_ayer
José Gallardo
 
Etapas de crecimiento de un árbol
Etapas de crecimiento de un árbolEtapas de crecimiento de un árbol
Etapas de crecimiento de un árbol
BosquesNaturales
 
Presentación espa semi
Presentación  espa semiPresentación  espa semi
Presentación espa semi
Alfonso Pérez
 
introducción al bachillerato semipresencial
 introducción al bachillerato semipresencial introducción al bachillerato semipresencial
introducción al bachillerato semipresencial
Alfonso Pérez
 
Procesamiento de Lenguaje Natural, Python y NLTK
Procesamiento de Lenguaje Natural, Python y NLTKProcesamiento de Lenguaje Natural, Python y NLTK
Procesamiento de Lenguaje Natural, Python y NLTK
Raúl Garreta
 
Ejercicios De Oraciones Subordinadas
Ejercicios De Oraciones SubordinadasEjercicios De Oraciones Subordinadas
Ejercicios De Oraciones Subordinadasiesnorena
 
Análisis léxico y análisis sintáctico
Análisis léxico y análisis sintácticoAnálisis léxico y análisis sintáctico
Análisis léxico y análisis sintácticoangiepao1717
 
Generador de codigo intermedio
Generador de codigo intermedioGenerador de codigo intermedio
Generador de codigo intermedio
Guillermo
 
Historia De Los Numeros
Historia De Los NumerosHistoria De Los Numeros
Historia De Los Numeros
d mgr
 
Análisis de la oración simple (I)
Análisis de la oración simple (I)Análisis de la oración simple (I)
Análisis de la oración simple (I)Susana
 
Oraciones Subordinadas Sustantivas. Funciones
Oraciones Subordinadas Sustantivas. FuncionesOraciones Subordinadas Sustantivas. Funciones
Oraciones Subordinadas Sustantivas. Funcionesluisa_pla
 
Nexos de las oraciones adverbiales
Nexos de las oraciones adverbialesNexos de las oraciones adverbiales
Nexos de las oraciones adverbiales
Gabriela Zayas De Lille
 

Destacado (20)

Arbol analisis sintactico
Arbol analisis sintacticoArbol analisis sintactico
Arbol analisis sintactico
 
Sintaxis
SintaxisSintaxis
Sintaxis
 
Analisis sintactico
Analisis sintacticoAnalisis sintactico
Analisis sintactico
 
Arboles de derivacion
Arboles de derivacionArboles de derivacion
Arboles de derivacion
 
Arbol
ArbolArbol
Arbol
 
Análisis del árbol
Análisis del árbolAnálisis del árbol
Análisis del árbol
 
Análisis sintáctico 05 el arbol_que_compramos_ayer
Análisis sintáctico 05 el arbol_que_compramos_ayerAnálisis sintáctico 05 el arbol_que_compramos_ayer
Análisis sintáctico 05 el arbol_que_compramos_ayer
 
Etapas de crecimiento de un árbol
Etapas de crecimiento de un árbolEtapas de crecimiento de un árbol
Etapas de crecimiento de un árbol
 
Presentación espa semi
Presentación  espa semiPresentación  espa semi
Presentación espa semi
 
introducción al bachillerato semipresencial
 introducción al bachillerato semipresencial introducción al bachillerato semipresencial
introducción al bachillerato semipresencial
 
Matrices
MatricesMatrices
Matrices
 
Analisis sintactico
Analisis sintacticoAnalisis sintactico
Analisis sintactico
 
Procesamiento de Lenguaje Natural, Python y NLTK
Procesamiento de Lenguaje Natural, Python y NLTKProcesamiento de Lenguaje Natural, Python y NLTK
Procesamiento de Lenguaje Natural, Python y NLTK
 
Ejercicios De Oraciones Subordinadas
Ejercicios De Oraciones SubordinadasEjercicios De Oraciones Subordinadas
Ejercicios De Oraciones Subordinadas
 
Análisis léxico y análisis sintáctico
Análisis léxico y análisis sintácticoAnálisis léxico y análisis sintáctico
Análisis léxico y análisis sintáctico
 
Generador de codigo intermedio
Generador de codigo intermedioGenerador de codigo intermedio
Generador de codigo intermedio
 
Historia De Los Numeros
Historia De Los NumerosHistoria De Los Numeros
Historia De Los Numeros
 
Análisis de la oración simple (I)
Análisis de la oración simple (I)Análisis de la oración simple (I)
Análisis de la oración simple (I)
 
Oraciones Subordinadas Sustantivas. Funciones
Oraciones Subordinadas Sustantivas. FuncionesOraciones Subordinadas Sustantivas. Funciones
Oraciones Subordinadas Sustantivas. Funciones
 
Nexos de las oraciones adverbiales
Nexos de las oraciones adverbialesNexos de las oraciones adverbiales
Nexos de las oraciones adverbiales
 

Similar a FORMAS NORMALES DE GREIBACH

Automat1111
Automat1111Automat1111
Automat1111
Roberto Zanetti
 
Fundamentos de Programación LOGO. Carlos Guerrero. ESPOL
Fundamentos de Programación LOGO. Carlos Guerrero. ESPOLFundamentos de Programación LOGO. Carlos Guerrero. ESPOL
Fundamentos de Programación LOGO. Carlos Guerrero. ESPOL
Karl Krieger
 
01 algoritmos
01 algoritmos01 algoritmos
01 algoritmosCarlos
 
01 algoritmos
01 algoritmos01 algoritmos
01 algoritmosCarlos
 
01 algoritmos
01 algoritmos01 algoritmos
01 algoritmosCarlos
 
Fundamentos de programación 1. diseño de algoritmos
Fundamentos de programación 1. diseño de algoritmosFundamentos de programación 1. diseño de algoritmos
Fundamentos de programación 1. diseño de algoritmos
Edward Ropero
 
Simplificación de gramáticas independientes de contexto
Simplificación de gramáticas independientes de contextoSimplificación de gramáticas independientes de contexto
Simplificación de gramáticas independientes de contexto
Eduardo Tello
 
Introduccion a gams
Introduccion a gamsIntroduccion a gams
Introduccion a gams
Katherine Morales
 
Calculadora casio en el chabas
Calculadora casio en el chabasCalculadora casio en el chabas
Calculadora casio en el chabas
Miguel Leon
 
Desigualdades[1]
Desigualdades[1]Desigualdades[1]
Desigualdades[1]
Esther Ruiz
 
Desigualdades[1]
Desigualdades[1]Desigualdades[1]
Desigualdades[1]
Esther Ruiz
 
Informatica ii-bien-paquini
Informatica ii-bien-paquiniInformatica ii-bien-paquini
Informatica ii-bien-paquinivanebel1996
 
Numeros con signo
Numeros con signoNumeros con signo
Numeros con signoeducruzo
 
Numeros con signo
Numeros con signoNumeros con signo
Numeros con signoeducruzo
 
Fundamentos básicos de algoritmos (1)
Fundamentos básicos de algoritmos (1)Fundamentos básicos de algoritmos (1)
Fundamentos básicos de algoritmos (1)Karlos Valladares
 
Diagrama de flujo lineal
Diagrama de flujo linealDiagrama de flujo lineal
Diagrama de flujo lineal
Mario Osvaldo Bressano
 

Similar a FORMAS NORMALES DE GREIBACH (20)

Automat1111
Automat1111Automat1111
Automat1111
 
Fundamentos de Programación LOGO. Carlos Guerrero. ESPOL
Fundamentos de Programación LOGO. Carlos Guerrero. ESPOLFundamentos de Programación LOGO. Carlos Guerrero. ESPOL
Fundamentos de Programación LOGO. Carlos Guerrero. ESPOL
 
01 algoritmos
01 algoritmos01 algoritmos
01 algoritmos
 
ALGORITMOS
ALGORITMOSALGORITMOS
ALGORITMOS
 
01 algoritmos
01 algoritmos01 algoritmos
01 algoritmos
 
01 algoritmos
01 algoritmos01 algoritmos
01 algoritmos
 
Fundamentos de programación 1. diseño de algoritmos
Fundamentos de programación 1. diseño de algoritmosFundamentos de programación 1. diseño de algoritmos
Fundamentos de programación 1. diseño de algoritmos
 
Simplificación de gramáticas independientes de contexto
Simplificación de gramáticas independientes de contextoSimplificación de gramáticas independientes de contexto
Simplificación de gramáticas independientes de contexto
 
Angulos
AngulosAngulos
Angulos
 
Introduccion a gams
Introduccion a gamsIntroduccion a gams
Introduccion a gams
 
Calculadora casio en el chabas
Calculadora casio en el chabasCalculadora casio en el chabas
Calculadora casio en el chabas
 
Formula
FormulaFormula
Formula
 
Desigualdades[1]
Desigualdades[1]Desigualdades[1]
Desigualdades[1]
 
Desigualdades[1]
Desigualdades[1]Desigualdades[1]
Desigualdades[1]
 
Informatica ii-bien-paquini
Informatica ii-bien-paquiniInformatica ii-bien-paquini
Informatica ii-bien-paquini
 
Numeros con signo
Numeros con signoNumeros con signo
Numeros con signo
 
Numeros con signo
Numeros con signoNumeros con signo
Numeros con signo
 
Fundamentos básicos de algoritmos (1)
Fundamentos básicos de algoritmos (1)Fundamentos básicos de algoritmos (1)
Fundamentos básicos de algoritmos (1)
 
Diagrama de flujo lineal
Diagrama de flujo linealDiagrama de flujo lineal
Diagrama de flujo lineal
 
Algoritmo
AlgoritmoAlgoritmo
Algoritmo
 

FORMAS NORMALES DE GREIBACH

  • 1. INSTITUTO TECNOLOGICO SUPERIOR DE SAN MARTIN TEXMELUCAN PUEBLA CARLOS MANUEL MORALES MORENO EDUARDO DOMINGUEZ JUAREZ JOSE ABELARDO CASTAÑEDA NITO LOURDES QUIROZ HERNANDEZ 4° Semestre TEORÍA DE LA COMPUTACIÓN LIC.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 Greibach G=(N, Σ, P, S) diremos que está en forma normal de Greibach si todas sus producciones son de la forma A -> aα a ∈ Σ α ∈ N*
  • 5. Para toda gramática incontextual G existe una gramática incontextual G’ 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 -> A2A3 A2 -> A1A2| a A3 -> A1A3| b
  • 11. /* Fase 2 */ G1=(N1, Σ1, P1, A1 A1 -> a A3| a B2A3 A2 -> a | a B2 B2 -> a A3A3 A2B2 | a B2 A3 A3 A2 B2| b A2B2 a A3 A3 A2| a B2 A3 A3 A2| b A2 A3 -> a A3A3| a B2A3 A3| b
  • 12. 3.5 Eliminación de Factores Comunes Izquierdos Existen gramáticas que tiene producciones de la forma A ¡ å ß1 | å ß2 como por ejemplo: S ¡ i E t S e S | i E t S donde å 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 siguientes A ¡ å A´ A´¡ ß | ß2
  • 13. 3.5 Eliminación de Factores Comunes Izquierdos CUESTIONARIO 1.- ¿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 wi que 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) ab 3.- ¿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 Izquierdos CUESTIONARIO 5.- ¿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. CUESTIONARIO 8.- 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”.