SlideShare ist ein Scribd-Unternehmen logo
1 von 26
Downloaden Sie, um offline zu lesen
Unidad Temática IV

Normalización de Gramáticas
4.1 Gramáticas Libres de Contexto
     Las gramáticas libres de contexto
     generan lenguajes aceptados por
            Autómatas de Pila
Antecedentes
• Hemos dicho que los Autómatas Finitos reconocen los
  lenguajes generados por las gramáticas llamadas
  regulares, lenguajes que también reciben el nombre de
  regulares.
• Estos autómatas se asocian con los Analizadores Léxicos.
• Tienen entre sus limitaciones ser incapaces de reconocer
  el lenguaje x n y n donde n es un número entero positivo
  cualquiera.
• Esto significa que este lenguaje no es un lenguaje regular.
Los Autómatas de Pila
• No se sujetan a esta restricción, es decir, si aceptan el
  lenguaje x n y n
• Se asocian a las gramáticas denominadas “libres de
  contexto” capaces de generar lenguajes entre los
  cuales se encuentra el arriba mencionado.
• A diferencia de los Autómatas Finitos carentes de
  memoria externa, los autómatas de pila reciben ese
  nombre porque tienen una pila como memoria
  externa.
Las gramáticas libres de contexto
• Se diferencían de las gramáticas regulares porque el
  lado derecho de sus reglas de reescritura pueden
  contener cualquier número de terminales y de no
  terminales en el orden que sea.
• Pero al igual que en las gramáticas regulares se
  mantiene la restricción de que en el lado izquierdo
  de las reglas de reescritura debe existir solamente
  una no terminal.
4.1.1 Conceptos Básicos relacionados
             con gramáticas
• Hemos dicho también que una gramática proporciona
  reglas para generar un lenguaje. Estas reglas se llaman
  “reglas de reescritura, de producción o de derivación” y
  se forman con elementos llamados “terminales” y “no
  terminales”, sólo los “no terminales” pueden generar
  nuevas reglas.
• Se puede definir como una cuaterna (V,T,S,R) donde:
  V = Conjunto finito de no terminales.
  T= Conjunto finito de terminales.
  S= Símbolo inicial (elemento de V).
  R= Conjunto de reglas de reescritura.
Ejemplo de Gleen Brookshear
1. <Frase>     < sujeto> <predicado> <punto>
2. <Sujeto>     <sustantivo>
3. <sustantivo>      Maria
4. <sustantivo>      Juan
5. <predicado>       <verbo intransitivo>
6. <predicado>       <verbo transitivo> <objeto>
7. <verbo intransitivo>     patinar
8. <verbo transitivo>      golpear
9. <verbo transitivo>      quiere
10. <objeto>     a <sustantivo>
11. <punto>     .
El ejemplo anterior es de una gramática
• Regular, excepto por la primera regla de reescritura.
• Libre de Contexto.
• Cuyas reglas pueden formar frases como:
  “Juan quiere a María.”
  “María golpea a Juan.”
  “Juan golpea a Juan.”
  “María quiere a María.”
  “María quiere patinar.”
  y otras. Pero no se puede formar la frase
  “Juan no quiere patinar.”
Y que además
• Tiene sus no terminales entre paréntesis
  rectangulares y sus terminales sin paréntesis.
• Tiene como símbolo inicial la no terminal <frase>
• Puede considerarse una gramática subconjunto de la
  gramática española.
• El alfabeto de las reglas que contiene, y del lenguaje
  que genera, incluye todos los símbolos que forman
  las terminales y las no terminales de esta gramática.
Preguntas del ejemplo para ejercicio:
1. ¿Qué significado tiene el hecho de que la gramática
   ejemplo es regular, excepto por la regla 1 y es de
   contexto libre?.
2. ¿Cómo se puede obtener la frase “Juan quiere a
   María.”?.
3. ¿Qué cambios se tendrían que hacer en las reglas
   de reescritura de esta gramática para que se
   pudiera generar la frase “Juan no quiere ir a
   patinar.”?.
Otro ejemplo de Brookshear
• La gramática
             S     XSZ
             S     Y
             Y     yY
             Y     λ
             X     x
             Z      z
  Puede generarse la cadena xyz mediante las
  siguientes derivaciones:
  S XSZ xSZ xYZ            xyYZ   xyZ    xyz
Preguntas del ejemplo para el ejercicio
1. ¿Cuáles son los elementos de la gramática
   ejemplo?.
2. ¿Es ésta una gramática regular?. ¿es libre de
   contexto?
3. ¿Qué otras cadenas serían generadas por la
   gramática?. (cómo se aplicarían las reglas para
   generarlas).
4.1.2 Árboles de derivación y
derivación por derecha e izquierda
• Hasta ahora se han aplicado reglas de manera
  que la no terminal que se sustituye es la que
  se encuentra más a la izquierda de la
  correspondiente regla.
• Esto se llama “derivación por la izquierda”.
• También podría realizarse una “derivación por
  la derecha”.
• Como caso tomemos el segundo ejemplo de
  Brookshear e intentemos obtener la cadena
  xyz mediante una derivación por la derecha.
Del segundo ejemplo decimos que:
La gramática
          S     XSZ
           S    Y
           Y    yY
           Y    λ
           X    x
           Z     z
Puede generar la cadena xyz mediante las siguientes
derivaciones por la derecha:
S XSZ XSz XYz            Xy Yz  Xyz     xyz
Un árbol de derivación
• Tiene como nodos las terminales y las no terminales
  de la gramática.
• El nodo raíz es el símbolo de inicio.
• Los hijos son los símbolos que en la derivación
  reemplazan al no terminal padre.
• Las hojas son las terminales.
Un tercer ejemplo de Brookshear
• Sea la gramática independiente del contexto:
       S     zMNz
       M     aMa
       M      z
       N      bNb
       N      z
  que genera el lenguaje zan zanbmzbmz, siendo n y m
  números naturales al cual pertenece la cadena
  zazabzbz.
El árbol de derivación para esta cadena es:

                       s

       z       M               N       z

           a   M   a       b   N   b

               z               z
Ejercicio para el tercer ejemplo
1. Verifica que el árbol de derivación efectivamente
   permita obtener la cadena zazabzbz. Si es así
   construye un árbol para la cadena zaazaabzbz.
2. ¿Mediante esta gramática se podría obtener la
   cadena zaazaaabbbzbbz? Si es posible construye el
   correspondiente árbol de derivación, si no es posible
   di porqué no.
3. Construye una gramática que genere cadenas
   binarias que contengan cualquier cantidad, entera
   no negativa, de pares de unos. Luego elabora un
   árbol de derivación para la cadena 01101001.
Solución al ejercicio 3 del tercer ejemplo:

  Primero representamos el diagrama de transición
  de un autómata que acepte el lenguaje “pares de
  unos”
                             0
         0
                                            0

                                 1

             1
                  1      2              3
                                 1
El autómata diseñado
Es un autómata finito (Q, ∑ , q0, δ. F) con
transiciones               que puede convertirse en
un autómata de pila (Q, ∑ , Г, q0, δ. F) con
transiciones δ: Q x ( ∑ U λ) Q x Г* siendo Г el
alfabeto de pila.
 El autómata de pila equivalente, suponiendo una
pila conteniendo sólo la cadena vacía λ, se puede
representar de la siguiente manera:
0, λ; λ                  0, λ; λ
                                                         0, λ; λ

                                       1, λ; λ
                  1, λ; λ
          1                  2                       3
                                           1, λ; λ



La transición (0, λ; λ) en el estado 1 (al igual que en los
estados 2 y 3)significa que cuando la cabeza lectora de la
máquina lee un 0 en la cinta de entrada, se extrae λ
(cadena vacía) de la cima de la pila y se coloca λ en la
cima de la misma pila. Nótese que, si en lugar de λ
hubiese otros símbolos de ∑ , podría extraerse e
insertarse cualquier símbolo del alfabeto de pila de
manera que al final se altere su contenido.
Asumiendo como válido
  El diagrama de transiciones del autómata de pila (M) , puede
  obtenerse la correspondiente gramática independiente del
  contexto mediante el algoritmo siguiente:
1. Para cada estado de aceptación f de M, forme la regla de
   reescritura S  < q0, λ, f).
2. Para cada estado p en M forme la regla de reescritura
   <p, λ, p>  λ.
3. Para cada transición (p, x, y; q, z), con y ≠ λ genere una regla
   de reescritura <p, y, r> x <q, z, r> para cada estado r de M.
4. Para cada transición de la forma (p, x, λ; q, z), genere todas
   las reglas de reescritura de la forma <p, w, r>  x <q, z, k>
   <k, w, r>, donde w es un símbolo de pila o λ, mientras que k y
   r (que pueden ser iguales) son estados de M.
Aplicando el algoritmo
1. Como sólo el estado 3 es de aceptación:
              S < 1, λ, 3>
2. Para cada uno de los tres estados
              < 1, λ, 1>  λ
              <2, λ, 2>  λ
              <3, λ, 3>  λ
3. No existen transiciones (p, x, y; q, z), con y ≠ λ
4. Se establece la regla <p, w, r>  x <q, z, k> <k, w, r>, donde
w = { λ };    k = 1,2,3;    r = 1, 2, 3
    Por lo que al realizar este 4to paso se tendrán las siguientes
    reglas de reescritura:
Para la transición (1, 0,λ; 1, λ)     <1, λ, 2>  1 <2, λ, 2> <2, λ, 2>
< 1, λ, 1>  0 <1, λ, 1> <1, λ, 1>    <1, λ, 2>  1 <2, λ, 3> <3, λ, 2>
<1, λ, 1>  0 <1 , λ, 2> <2, λ, 1>    <1, λ, 3>  1<2, λ, 1> <1, λ, 3>
<1, λ, 1 >  0 < 1, λ, 3> <3, λ, 1>   <1, λ, 3>  1<2, λ, 2> <1, λ, 3>
<1, λ, 2>  0 < 1, λ, 1> <1, λ, 2>    <1, λ, 3>  1<2, λ, 2> <1, λ, 3>
<1, λ, 2>  0 <1, λ, 2> <2, λ, 2>      para la transición (2,0, λ; λ,2)
<1, λ, 2>  0 <1, λ, 3> <3, λ, 2>     <2, λ, 1>  0 <2, λ, 1> <1, λ, 1>
<1, λ, 3>  0 <1, λ, 1> <1, λ, 3>     <2, λ, 1>  0<2, λ, 2> <2, λ, 1>
< 1, λ, 3>  0 <1, λ, 2> <1, λ, 3>    <2, λ, 1>  0 <2, λ, 3> <3, λ, 1>
< 1, λ, 3 >  0 <1, λ, 3> <3, λ, 3>   <2, λ, 2>  0 <2, λ, 1> <1, λ, 2>
Para la transición (1, 1, λ; 2, λ)    <2, λ, 2>  0<2, λ, 2> <2, λ, 2>
<1, λ, 1 >  1 <2, λ, 1> <1, λ, 1>    <2, λ, 2>  0<2, λ, 3> <3, λ, 2>
<1, λ, 1>  1 <2 , λ, 2> <2, λ, 1>    <2, λ, 3>  0<2, λ, 1> <1, λ, 3>
<1, λ, 1>  1 <2, λ, 3> <3, λ, 1>      <2, λ, 3>  0<2, λ, 2> <2, λ,3>
< 1, λ, 2>  1<2, λ, 1> <1, λ, 2>      <3, λ, 3>  0<2, λ, 3> <3, λ,3>
Dado que w asume sólo un valor ( λ ) , mientras que r
y k asumen tres (1, 2 y 3 respectivamente), cada
transición genera 9 reglas de reescritura (3 x 3 x 1),
como ha sucedido en las tres transiciones cuyas
reglas generadas se muestran en la diapositiva
anterior. Vale la pena que concluyas de escribir las
reglas de reescritura que generan las otras cuatro
restricciones.
4.1.3 Recursividad por la derecha y por
               la izquierda
• Puede observarse que las derivaciones pueden
  repetirse sustituciones cíclicas y recursivas de manera
  que existen casos en que debemos ayudarnos de
  reglas lambda (épsilon) para concluir. De la misma
  manera se observa esto en los árboles como en los
  procesos de derivación por la izquierda o por la
  derecha.
• Esta propiedad de recursividad en la derivación da
  origen al llamado “lema de bombeo” que
  posteriormente será utilizado.

Weitere ähnliche Inhalte

Was ist angesagt?

Esquemas de inferencia lógica
Esquemas de inferencia lógicaEsquemas de inferencia lógica
Esquemas de inferencia lógicaZetineb Oigres
 
Tema 8 b. evaluación del argumento por tablas de verdad
Tema 8 b. evaluación del argumento por tablas de verdadTema 8 b. evaluación del argumento por tablas de verdad
Tema 8 b. evaluación del argumento por tablas de verdadjlcisnerosmxl
 
Funciones Veritativas
Funciones VeritativasFunciones Veritativas
Funciones Veritativasrafael felix
 
Automatas Finitos Deterministicos y No Deterministicos
Automatas Finitos Deterministicos y No DeterministicosAutomatas Finitos Deterministicos y No Deterministicos
Automatas Finitos Deterministicos y No DeterministicosRosviannis Barreiro
 
Compendio de Reglas de Inferencia - Lógica Simbólica
Compendio de Reglas de Inferencia - Lógica SimbólicaCompendio de Reglas de Inferencia - Lógica Simbólica
Compendio de Reglas de Inferencia - Lógica SimbólicaLogicaUFM2012
 
Portafolio lenguajes y automatas unidad 3 - Autómatas finitos
Portafolio lenguajes y automatas unidad 3 - Autómatas finitosPortafolio lenguajes y automatas unidad 3 - Autómatas finitos
Portafolio lenguajes y automatas unidad 3 - Autómatas finitosHumano Terricola
 
lógica :Método de las Derivaciones
lógica :Método de las Derivacioneslógica :Método de las Derivaciones
lógica :Método de las DerivacionesJuan F.Guevara
 
Ejercicios algebraproposicional
Ejercicios algebraproposicionalEjercicios algebraproposicional
Ejercicios algebraproposicionalMariexis Cova
 
Portafolio Unidad 4 [Lenguajes y autómatas] - Máquinas de Turing
Portafolio Unidad 4 [Lenguajes y autómatas] - Máquinas de TuringPortafolio Unidad 4 [Lenguajes y autómatas] - Máquinas de Turing
Portafolio Unidad 4 [Lenguajes y autómatas] - Máquinas de TuringHumano Terricola
 
Lógica : Leyes lógicas
Lógica : Leyes lógicasLógica : Leyes lógicas
Lógica : Leyes lógicasjuanchojuancho
 
Autómatas finitos deterministas (afd)
Autómatas finitos deterministas (afd)Autómatas finitos deterministas (afd)
Autómatas finitos deterministas (afd)Moises Morales
 
Lógica proposicional tablas de verdad
Lógica proposicional tablas de verdadLógica proposicional tablas de verdad
Lógica proposicional tablas de verdadVideoconferencias UTPL
 
Automatas
AutomatasAutomatas
Automatasveriyo
 
Proposiciones
ProposicionesProposiciones
ProposicionesJUCARVA
 
MATEMATICAS IV
MATEMATICAS IVMATEMATICAS IV
MATEMATICAS IVCARIANI
 

Was ist angesagt? (20)

Esquemas de inferencia lógica
Esquemas de inferencia lógicaEsquemas de inferencia lógica
Esquemas de inferencia lógica
 
Logica
LogicaLogica
Logica
 
Inferencia
InferenciaInferencia
Inferencia
 
Reglas de Inferencia
Reglas de Inferencia Reglas de Inferencia
Reglas de Inferencia
 
Tema 8 b. evaluación del argumento por tablas de verdad
Tema 8 b. evaluación del argumento por tablas de verdadTema 8 b. evaluación del argumento por tablas de verdad
Tema 8 b. evaluación del argumento por tablas de verdad
 
Funciones Veritativas
Funciones VeritativasFunciones Veritativas
Funciones Veritativas
 
Modus Ponendo Ponens
Modus Ponendo PonensModus Ponendo Ponens
Modus Ponendo Ponens
 
Automatas Finitos Deterministicos y No Deterministicos
Automatas Finitos Deterministicos y No DeterministicosAutomatas Finitos Deterministicos y No Deterministicos
Automatas Finitos Deterministicos y No Deterministicos
 
Compendio de Reglas de Inferencia - Lógica Simbólica
Compendio de Reglas de Inferencia - Lógica SimbólicaCompendio de Reglas de Inferencia - Lógica Simbólica
Compendio de Reglas de Inferencia - Lógica Simbólica
 
Portafolio lenguajes y automatas unidad 3 - Autómatas finitos
Portafolio lenguajes y automatas unidad 3 - Autómatas finitosPortafolio lenguajes y automatas unidad 3 - Autómatas finitos
Portafolio lenguajes y automatas unidad 3 - Autómatas finitos
 
lógica :Método de las Derivaciones
lógica :Método de las Derivacioneslógica :Método de las Derivaciones
lógica :Método de las Derivaciones
 
Ejercicios algebraproposicional
Ejercicios algebraproposicionalEjercicios algebraproposicional
Ejercicios algebraproposicional
 
Portafolio Unidad 4 [Lenguajes y autómatas] - Máquinas de Turing
Portafolio Unidad 4 [Lenguajes y autómatas] - Máquinas de TuringPortafolio Unidad 4 [Lenguajes y autómatas] - Máquinas de Turing
Portafolio Unidad 4 [Lenguajes y autómatas] - Máquinas de Turing
 
Lógica : Leyes lógicas
Lógica : Leyes lógicasLógica : Leyes lógicas
Lógica : Leyes lógicas
 
Autómatas finitos deterministas (afd)
Autómatas finitos deterministas (afd)Autómatas finitos deterministas (afd)
Autómatas finitos deterministas (afd)
 
Lógica proposicional tablas de verdad
Lógica proposicional tablas de verdadLógica proposicional tablas de verdad
Lógica proposicional tablas de verdad
 
Automatas
AutomatasAutomatas
Automatas
 
Logica
LogicaLogica
Logica
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
MATEMATICAS IV
MATEMATICAS IVMATEMATICAS IV
MATEMATICAS IV
 

Andere mochten auch

La oración gramatical 2
La oración gramatical 2La oración gramatical 2
La oración gramatical 2paola_diaz
 
Friedrich hayek historia económica y pensamiento político
Friedrich hayek   historia económica y pensamiento políticoFriedrich hayek   historia económica y pensamiento político
Friedrich hayek historia económica y pensamiento políticoDaniel Diaz
 
Socialismo de estado y anarquismo
Socialismo de estado y anarquismoSocialismo de estado y anarquismo
Socialismo de estado y anarquismoDaniel Diaz
 
Descripcion de actividades (1)
Descripcion de actividades (1)Descripcion de actividades (1)
Descripcion de actividades (1)jdpc21
 
Curso adm 554 gestión de implementación de sistema de salud y seguridad ocu...
Curso adm 554   gestión de implementación de sistema de salud y seguridad ocu...Curso adm 554   gestión de implementación de sistema de salud y seguridad ocu...
Curso adm 554 gestión de implementación de sistema de salud y seguridad ocu...Procasecapacita
 
Artilujios marikditas y engalles
Artilujios marikditas y engallesArtilujios marikditas y engalles
Artilujios marikditas y engallesAndrea Marin
 
Apuntes sistemas operativos 3 er corte
Apuntes sistemas operativos 3 er corteApuntes sistemas operativos 3 er corte
Apuntes sistemas operativos 3 er corteSebastianV91
 
Ludwig von mises planificación para la libertad
Ludwig von mises   planificación para la libertadLudwig von mises   planificación para la libertad
Ludwig von mises planificación para la libertadDaniel Diaz
 
Israel kirzner economía neoclásica y economía austríaca
Israel kirzner   economía neoclásica y economía austríacaIsrael kirzner   economía neoclásica y economía austríaca
Israel kirzner economía neoclásica y economía austríacaDaniel Diaz
 
Videojuego Astronomia, matemáticas y robótica
Videojuego Astronomia, matemáticas y robóticaVideojuego Astronomia, matemáticas y robótica
Videojuego Astronomia, matemáticas y robóticaAlexandra Sierra
 
Acoso laboral
Acoso laboralAcoso laboral
Acoso laboralJaghu San
 
Instituto superior particular incorporado nº 4033 de adminidtracion power tra...
Instituto superior particular incorporado nº 4033 de adminidtracion power tra...Instituto superior particular incorporado nº 4033 de adminidtracion power tra...
Instituto superior particular incorporado nº 4033 de adminidtracion power tra...tuucky
 

Andere mochten auch (20)

Sociales
SocialesSociales
Sociales
 
La oración gramatical 2
La oración gramatical 2La oración gramatical 2
La oración gramatical 2
 
Gramática
GramáticaGramática
Gramática
 
Friedrich hayek historia económica y pensamiento político
Friedrich hayek   historia económica y pensamiento políticoFriedrich hayek   historia económica y pensamiento político
Friedrich hayek historia económica y pensamiento político
 
Socialismo de estado y anarquismo
Socialismo de estado y anarquismoSocialismo de estado y anarquismo
Socialismo de estado y anarquismo
 
Descripcion de actividades (1)
Descripcion de actividades (1)Descripcion de actividades (1)
Descripcion de actividades (1)
 
Curso adm 554 gestión de implementación de sistema de salud y seguridad ocu...
Curso adm 554   gestión de implementación de sistema de salud y seguridad ocu...Curso adm 554   gestión de implementación de sistema de salud y seguridad ocu...
Curso adm 554 gestión de implementación de sistema de salud y seguridad ocu...
 
Construcción residencial en Europa. Euroconstruct
Construcción residencial en Europa. EuroconstructConstrucción residencial en Europa. Euroconstruct
Construcción residencial en Europa. Euroconstruct
 
Artilujios marikditas y engalles
Artilujios marikditas y engallesArtilujios marikditas y engalles
Artilujios marikditas y engalles
 
Brayan .p j nicolas
Brayan .p j nicolasBrayan .p j nicolas
Brayan .p j nicolas
 
Doc interagencialrio20 cdem esp
Doc interagencialrio20 cdem espDoc interagencialrio20 cdem esp
Doc interagencialrio20 cdem esp
 
Musicoterapia
MusicoterapiaMusicoterapia
Musicoterapia
 
Apuntes sistemas operativos 3 er corte
Apuntes sistemas operativos 3 er corteApuntes sistemas operativos 3 er corte
Apuntes sistemas operativos 3 er corte
 
Manual para imprimir nxt
Manual para imprimir nxtManual para imprimir nxt
Manual para imprimir nxt
 
Ludwig von mises planificación para la libertad
Ludwig von mises   planificación para la libertadLudwig von mises   planificación para la libertad
Ludwig von mises planificación para la libertad
 
Israel kirzner economía neoclásica y economía austríaca
Israel kirzner   economía neoclásica y economía austríacaIsrael kirzner   economía neoclásica y economía austríaca
Israel kirzner economía neoclásica y economía austríaca
 
Videojuego Astronomia, matemáticas y robótica
Videojuego Astronomia, matemáticas y robóticaVideojuego Astronomia, matemáticas y robótica
Videojuego Astronomia, matemáticas y robótica
 
Acoso laboral
Acoso laboralAcoso laboral
Acoso laboral
 
Instituto superior particular incorporado nº 4033 de adminidtracion power tra...
Instituto superior particular incorporado nº 4033 de adminidtracion power tra...Instituto superior particular incorporado nº 4033 de adminidtracion power tra...
Instituto superior particular incorporado nº 4033 de adminidtracion power tra...
 
VIDA DE SANTO DOMINGO
VIDA DE SANTO DOMINGOVIDA DE SANTO DOMINGO
VIDA DE SANTO DOMINGO
 

Ähnlich wie Gramáticas libres de contexto y autómatas de pila

33col2301405 121126110801-phpapp02
33col2301405 121126110801-phpapp0233col2301405 121126110801-phpapp02
33col2301405 121126110801-phpapp02nayis_bonillav
 
301405_34-Tarea1-Danilo Coral.pptx
301405_34-Tarea1-Danilo Coral.pptx301405_34-Tarea1-Danilo Coral.pptx
301405_34-Tarea1-Danilo Coral.pptxharolw1
 
Típos de grámatica y más, exposición de compiladores e intérpretes
Típos de grámatica y más, exposición de compiladores e intérpretesTípos de grámatica y más, exposición de compiladores e intérpretes
Típos de grámatica y más, exposición de compiladores e intérpretesElmer André Boulangger Alberca
 
Introducción a la Teoría de Autómatas by Yeredith
Introducción a la Teoría de Autómatas by YeredithIntroducción a la Teoría de Autómatas by Yeredith
Introducción a la Teoría de Autómatas by Yeredithyeredith1
 
Tipos de gramatica y arboles de derivacion
Tipos de gramatica y arboles de derivacionTipos de gramatica y arboles de derivacion
Tipos de gramatica y arboles de derivacionjorge severino
 
Representecion-EspectraDAxz<x<zx<zxz<l.pptx
Representecion-EspectraDAxz<x<zx<zxz<l.pptxRepresentecion-EspectraDAxz<x<zx<zxz<l.pptx
Representecion-EspectraDAxz<x<zx<zxz<l.pptxSANTOS400018
 
Equivalencia de autómatas finitos y expresiones regulares.
Equivalencia de autómatas finitos y expresiones regulares.Equivalencia de autómatas finitos y expresiones regulares.
Equivalencia de autómatas finitos y expresiones regulares.Yamilee Valerio
 
Expresiones regulares2.pdf
Expresiones regulares2.pdfExpresiones regulares2.pdf
Expresiones regulares2.pdfJeffreyagnz
 
6.1 arrays en java
6.1 arrays en java 6.1 arrays en java
6.1 arrays en java Johan Retos
 
Presentacion automata grupo 1 unibe 02-02-2018
Presentacion automata grupo 1   unibe 02-02-2018Presentacion automata grupo 1   unibe 02-02-2018
Presentacion automata grupo 1 unibe 02-02-2018Edward Caceres
 
Teoría básica de los semigrupos y grupos
Teoría básica de los semigrupos y gruposTeoría básica de los semigrupos y grupos
Teoría básica de los semigrupos y gruposLuis Talledo Yahuana
 
Gramática generativa introducción
Gramática generativa   introducciónGramática generativa   introducción
Gramática generativa introducciónNancy Nuñez
 
Analisis Lexico
Analisis LexicoAnalisis Lexico
Analisis LexicoFARIDROJAS
 

Ähnlich wie Gramáticas libres de contexto y autómatas de pila (20)

33col2301405 121126110801-phpapp02
33col2301405 121126110801-phpapp0233col2301405 121126110801-phpapp02
33col2301405 121126110801-phpapp02
 
Expocision u3
Expocision  u3Expocision  u3
Expocision u3
 
301405_34-Tarea1-Danilo Coral.pptx
301405_34-Tarea1-Danilo Coral.pptx301405_34-Tarea1-Danilo Coral.pptx
301405_34-Tarea1-Danilo Coral.pptx
 
Típos de grámatica y más, exposición de compiladores e intérpretes
Típos de grámatica y más, exposición de compiladores e intérpretesTípos de grámatica y más, exposición de compiladores e intérpretes
Típos de grámatica y más, exposición de compiladores e intérpretes
 
Gramaticas
GramaticasGramaticas
Gramaticas
 
Analisis sintactico
Analisis sintacticoAnalisis sintactico
Analisis sintactico
 
Introducción a la Teoría de Autómatas by Yeredith
Introducción a la Teoría de Autómatas by YeredithIntroducción a la Teoría de Autómatas by Yeredith
Introducción a la Teoría de Autómatas by Yeredith
 
Autómata finito
Autómata finitoAutómata finito
Autómata finito
 
Tipos de gramatica y arboles de derivacion
Tipos de gramatica y arboles de derivacionTipos de gramatica y arboles de derivacion
Tipos de gramatica y arboles de derivacion
 
Representecion-EspectraDAxz<x<zx<zxz<l.pptx
Representecion-EspectraDAxz<x<zx<zxz<l.pptxRepresentecion-EspectraDAxz<x<zx<zxz<l.pptx
Representecion-EspectraDAxz<x<zx<zxz<l.pptx
 
Tipos de lenguaje formal según Chomsky
Tipos de lenguaje formal según ChomskyTipos de lenguaje formal según Chomsky
Tipos de lenguaje formal según Chomsky
 
Equivalencia de autómatas finitos y expresiones regulares.
Equivalencia de autómatas finitos y expresiones regulares.Equivalencia de autómatas finitos y expresiones regulares.
Equivalencia de autómatas finitos y expresiones regulares.
 
33 col2 301405
33 col2 30140533 col2 301405
33 col2 301405
 
Preguntas tc
Preguntas tcPreguntas tc
Preguntas tc
 
Expresiones regulares2.pdf
Expresiones regulares2.pdfExpresiones regulares2.pdf
Expresiones regulares2.pdf
 
6.1 arrays en java
6.1 arrays en java 6.1 arrays en java
6.1 arrays en java
 
Presentacion automata grupo 1 unibe 02-02-2018
Presentacion automata grupo 1   unibe 02-02-2018Presentacion automata grupo 1   unibe 02-02-2018
Presentacion automata grupo 1 unibe 02-02-2018
 
Teoría básica de los semigrupos y grupos
Teoría básica de los semigrupos y gruposTeoría básica de los semigrupos y grupos
Teoría básica de los semigrupos y grupos
 
Gramática generativa introducción
Gramática generativa   introducciónGramática generativa   introducción
Gramática generativa introducción
 
Analisis Lexico
Analisis LexicoAnalisis Lexico
Analisis Lexico
 

Mehr von JackieHee27

Ha2 cm40 eq3-saca
Ha2 cm40 eq3-sacaHa2 cm40 eq3-saca
Ha2 cm40 eq3-sacaJackieHee27
 
Ha2 cm40 eq3-powerdesigner
Ha2 cm40 eq3-powerdesignerHa2 cm40 eq3-powerdesigner
Ha2 cm40 eq3-powerdesignerJackieHee27
 
Ha2 cm40 eq3-cisa
Ha2 cm40 eq3-cisaHa2 cm40 eq3-cisa
Ha2 cm40 eq3-cisaJackieHee27
 
Ha2 cm40 eq3-intelisis
Ha2 cm40 eq3-intelisisHa2 cm40 eq3-intelisis
Ha2 cm40 eq3-intelisisJackieHee27
 
Ha2 cm40 morales m jacquelinne-proteccion datos11
Ha2 cm40 morales m jacquelinne-proteccion datos11Ha2 cm40 morales m jacquelinne-proteccion datos11
Ha2 cm40 morales m jacquelinne-proteccion datos11JackieHee27
 
Ha2 cm40 morales m jacquelinne-normalizacion
Ha2 cm40 morales m jacquelinne-normalizacionHa2 cm40 morales m jacquelinne-normalizacion
Ha2 cm40 morales m jacquelinne-normalizacionJackieHee27
 
Ha4 cm40 morales m jacquelinne-esr
Ha4 cm40 morales m jacquelinne-esrHa4 cm40 morales m jacquelinne-esr
Ha4 cm40 morales m jacquelinne-esrJackieHee27
 
Ha4 cm40 morales m jacquelinne-case
Ha4 cm40 morales m jacquelinne-caseHa4 cm40 morales m jacquelinne-case
Ha4 cm40 morales m jacquelinne-caseJackieHee27
 
Ha2 cm40 morales m jacquelinne-tecnologias-emergentes
Ha2 cm40 morales m jacquelinne-tecnologias-emergentesHa2 cm40 morales m jacquelinne-tecnologias-emergentes
Ha2 cm40 morales m jacquelinne-tecnologias-emergentesJackieHee27
 
Ha2 cm40 morales m jacquelinne-soa
Ha2 cm40 morales m jacquelinne-soaHa2 cm40 morales m jacquelinne-soa
Ha2 cm40 morales m jacquelinne-soaJackieHee27
 
Ha2 cm40 morales m jacquelinne-saas
Ha2 cm40 morales m jacquelinne-saasHa2 cm40 morales m jacquelinne-saas
Ha2 cm40 morales m jacquelinne-saasJackieHee27
 
Ha2 cm40 morales m jacquelinne-rfid
Ha2 cm40 morales m jacquelinne-rfidHa2 cm40 morales m jacquelinne-rfid
Ha2 cm40 morales m jacquelinne-rfidJackieHee27
 
Ha2 cm40 morales m jacquelinne-nfc
Ha2 cm40 morales m jacquelinne-nfcHa2 cm40 morales m jacquelinne-nfc
Ha2 cm40 morales m jacquelinne-nfcJackieHee27
 
Ha2 cm40 morales m jacquelinne-mercadotecnia
Ha2 cm40 morales m jacquelinne-mercadotecniaHa2 cm40 morales m jacquelinne-mercadotecnia
Ha2 cm40 morales m jacquelinne-mercadotecniaJackieHee27
 
Ha2 cm40 morales m jacquelinne-itil
Ha2 cm40 morales m jacquelinne-itilHa2 cm40 morales m jacquelinne-itil
Ha2 cm40 morales m jacquelinne-itilJackieHee27
 
Ha2 cm40 morales m jacquelinne-iso
Ha2 cm40 morales m jacquelinne-isoHa2 cm40 morales m jacquelinne-iso
Ha2 cm40 morales m jacquelinne-isoJackieHee27
 
Ha2 cm40 morales m jacquelinne-computo en la nube
Ha2 cm40 morales m jacquelinne-computo en la nubeHa2 cm40 morales m jacquelinne-computo en la nube
Ha2 cm40 morales m jacquelinne-computo en la nubeJackieHee27
 
Ha2 cm40 morales m jacquelinne-cobit
Ha2 cm40 morales m jacquelinne-cobitHa2 cm40 morales m jacquelinne-cobit
Ha2 cm40 morales m jacquelinne-cobitJackieHee27
 
Ha2 cm40 morales m jacquelinne-cmmi
Ha2 cm40 morales m jacquelinne-cmmiHa2 cm40 morales m jacquelinne-cmmi
Ha2 cm40 morales m jacquelinne-cmmiJackieHee27
 

Mehr von JackieHee27 (20)

Tema3
Tema3Tema3
Tema3
 
Ha2 cm40 eq3-saca
Ha2 cm40 eq3-sacaHa2 cm40 eq3-saca
Ha2 cm40 eq3-saca
 
Ha2 cm40 eq3-powerdesigner
Ha2 cm40 eq3-powerdesignerHa2 cm40 eq3-powerdesigner
Ha2 cm40 eq3-powerdesigner
 
Ha2 cm40 eq3-cisa
Ha2 cm40 eq3-cisaHa2 cm40 eq3-cisa
Ha2 cm40 eq3-cisa
 
Ha2 cm40 eq3-intelisis
Ha2 cm40 eq3-intelisisHa2 cm40 eq3-intelisis
Ha2 cm40 eq3-intelisis
 
Ha2 cm40 morales m jacquelinne-proteccion datos11
Ha2 cm40 morales m jacquelinne-proteccion datos11Ha2 cm40 morales m jacquelinne-proteccion datos11
Ha2 cm40 morales m jacquelinne-proteccion datos11
 
Ha2 cm40 morales m jacquelinne-normalizacion
Ha2 cm40 morales m jacquelinne-normalizacionHa2 cm40 morales m jacquelinne-normalizacion
Ha2 cm40 morales m jacquelinne-normalizacion
 
Ha4 cm40 morales m jacquelinne-esr
Ha4 cm40 morales m jacquelinne-esrHa4 cm40 morales m jacquelinne-esr
Ha4 cm40 morales m jacquelinne-esr
 
Ha4 cm40 morales m jacquelinne-case
Ha4 cm40 morales m jacquelinne-caseHa4 cm40 morales m jacquelinne-case
Ha4 cm40 morales m jacquelinne-case
 
Ha2 cm40 morales m jacquelinne-tecnologias-emergentes
Ha2 cm40 morales m jacquelinne-tecnologias-emergentesHa2 cm40 morales m jacquelinne-tecnologias-emergentes
Ha2 cm40 morales m jacquelinne-tecnologias-emergentes
 
Ha2 cm40 morales m jacquelinne-soa
Ha2 cm40 morales m jacquelinne-soaHa2 cm40 morales m jacquelinne-soa
Ha2 cm40 morales m jacquelinne-soa
 
Ha2 cm40 morales m jacquelinne-saas
Ha2 cm40 morales m jacquelinne-saasHa2 cm40 morales m jacquelinne-saas
Ha2 cm40 morales m jacquelinne-saas
 
Ha2 cm40 morales m jacquelinne-rfid
Ha2 cm40 morales m jacquelinne-rfidHa2 cm40 morales m jacquelinne-rfid
Ha2 cm40 morales m jacquelinne-rfid
 
Ha2 cm40 morales m jacquelinne-nfc
Ha2 cm40 morales m jacquelinne-nfcHa2 cm40 morales m jacquelinne-nfc
Ha2 cm40 morales m jacquelinne-nfc
 
Ha2 cm40 morales m jacquelinne-mercadotecnia
Ha2 cm40 morales m jacquelinne-mercadotecniaHa2 cm40 morales m jacquelinne-mercadotecnia
Ha2 cm40 morales m jacquelinne-mercadotecnia
 
Ha2 cm40 morales m jacquelinne-itil
Ha2 cm40 morales m jacquelinne-itilHa2 cm40 morales m jacquelinne-itil
Ha2 cm40 morales m jacquelinne-itil
 
Ha2 cm40 morales m jacquelinne-iso
Ha2 cm40 morales m jacquelinne-isoHa2 cm40 morales m jacquelinne-iso
Ha2 cm40 morales m jacquelinne-iso
 
Ha2 cm40 morales m jacquelinne-computo en la nube
Ha2 cm40 morales m jacquelinne-computo en la nubeHa2 cm40 morales m jacquelinne-computo en la nube
Ha2 cm40 morales m jacquelinne-computo en la nube
 
Ha2 cm40 morales m jacquelinne-cobit
Ha2 cm40 morales m jacquelinne-cobitHa2 cm40 morales m jacquelinne-cobit
Ha2 cm40 morales m jacquelinne-cobit
 
Ha2 cm40 morales m jacquelinne-cmmi
Ha2 cm40 morales m jacquelinne-cmmiHa2 cm40 morales m jacquelinne-cmmi
Ha2 cm40 morales m jacquelinne-cmmi
 

Gramáticas libres de contexto y autómatas de pila

  • 2. 4.1 Gramáticas Libres de Contexto Las gramáticas libres de contexto generan lenguajes aceptados por Autómatas de Pila
  • 3. Antecedentes • Hemos dicho que los Autómatas Finitos reconocen los lenguajes generados por las gramáticas llamadas regulares, lenguajes que también reciben el nombre de regulares. • Estos autómatas se asocian con los Analizadores Léxicos. • Tienen entre sus limitaciones ser incapaces de reconocer el lenguaje x n y n donde n es un número entero positivo cualquiera. • Esto significa que este lenguaje no es un lenguaje regular.
  • 4. Los Autómatas de Pila • No se sujetan a esta restricción, es decir, si aceptan el lenguaje x n y n • Se asocian a las gramáticas denominadas “libres de contexto” capaces de generar lenguajes entre los cuales se encuentra el arriba mencionado. • A diferencia de los Autómatas Finitos carentes de memoria externa, los autómatas de pila reciben ese nombre porque tienen una pila como memoria externa.
  • 5. Las gramáticas libres de contexto • Se diferencían de las gramáticas regulares porque el lado derecho de sus reglas de reescritura pueden contener cualquier número de terminales y de no terminales en el orden que sea. • Pero al igual que en las gramáticas regulares se mantiene la restricción de que en el lado izquierdo de las reglas de reescritura debe existir solamente una no terminal.
  • 6. 4.1.1 Conceptos Básicos relacionados con gramáticas • Hemos dicho también que una gramática proporciona reglas para generar un lenguaje. Estas reglas se llaman “reglas de reescritura, de producción o de derivación” y se forman con elementos llamados “terminales” y “no terminales”, sólo los “no terminales” pueden generar nuevas reglas. • Se puede definir como una cuaterna (V,T,S,R) donde: V = Conjunto finito de no terminales. T= Conjunto finito de terminales. S= Símbolo inicial (elemento de V). R= Conjunto de reglas de reescritura.
  • 7. Ejemplo de Gleen Brookshear 1. <Frase> < sujeto> <predicado> <punto> 2. <Sujeto> <sustantivo> 3. <sustantivo> Maria 4. <sustantivo> Juan 5. <predicado> <verbo intransitivo> 6. <predicado> <verbo transitivo> <objeto> 7. <verbo intransitivo> patinar 8. <verbo transitivo> golpear 9. <verbo transitivo> quiere 10. <objeto> a <sustantivo> 11. <punto> .
  • 8. El ejemplo anterior es de una gramática • Regular, excepto por la primera regla de reescritura. • Libre de Contexto. • Cuyas reglas pueden formar frases como: “Juan quiere a María.” “María golpea a Juan.” “Juan golpea a Juan.” “María quiere a María.” “María quiere patinar.” y otras. Pero no se puede formar la frase “Juan no quiere patinar.”
  • 9. Y que además • Tiene sus no terminales entre paréntesis rectangulares y sus terminales sin paréntesis. • Tiene como símbolo inicial la no terminal <frase> • Puede considerarse una gramática subconjunto de la gramática española. • El alfabeto de las reglas que contiene, y del lenguaje que genera, incluye todos los símbolos que forman las terminales y las no terminales de esta gramática.
  • 10. Preguntas del ejemplo para ejercicio: 1. ¿Qué significado tiene el hecho de que la gramática ejemplo es regular, excepto por la regla 1 y es de contexto libre?. 2. ¿Cómo se puede obtener la frase “Juan quiere a María.”?. 3. ¿Qué cambios se tendrían que hacer en las reglas de reescritura de esta gramática para que se pudiera generar la frase “Juan no quiere ir a patinar.”?.
  • 11. Otro ejemplo de Brookshear • La gramática S XSZ S Y Y yY Y λ X x Z z Puede generarse la cadena xyz mediante las siguientes derivaciones: S XSZ xSZ xYZ xyYZ xyZ xyz
  • 12. Preguntas del ejemplo para el ejercicio 1. ¿Cuáles son los elementos de la gramática ejemplo?. 2. ¿Es ésta una gramática regular?. ¿es libre de contexto? 3. ¿Qué otras cadenas serían generadas por la gramática?. (cómo se aplicarían las reglas para generarlas).
  • 13. 4.1.2 Árboles de derivación y derivación por derecha e izquierda • Hasta ahora se han aplicado reglas de manera que la no terminal que se sustituye es la que se encuentra más a la izquierda de la correspondiente regla. • Esto se llama “derivación por la izquierda”. • También podría realizarse una “derivación por la derecha”. • Como caso tomemos el segundo ejemplo de Brookshear e intentemos obtener la cadena xyz mediante una derivación por la derecha.
  • 14. Del segundo ejemplo decimos que: La gramática S XSZ S Y Y yY Y λ X x Z z Puede generar la cadena xyz mediante las siguientes derivaciones por la derecha: S XSZ XSz XYz Xy Yz Xyz xyz
  • 15. Un árbol de derivación • Tiene como nodos las terminales y las no terminales de la gramática. • El nodo raíz es el símbolo de inicio. • Los hijos son los símbolos que en la derivación reemplazan al no terminal padre. • Las hojas son las terminales.
  • 16. Un tercer ejemplo de Brookshear • Sea la gramática independiente del contexto: S zMNz M aMa M z N bNb N z que genera el lenguaje zan zanbmzbmz, siendo n y m números naturales al cual pertenece la cadena zazabzbz.
  • 17. El árbol de derivación para esta cadena es: s z M N z a M a b N b z z
  • 18. Ejercicio para el tercer ejemplo 1. Verifica que el árbol de derivación efectivamente permita obtener la cadena zazabzbz. Si es así construye un árbol para la cadena zaazaabzbz. 2. ¿Mediante esta gramática se podría obtener la cadena zaazaaabbbzbbz? Si es posible construye el correspondiente árbol de derivación, si no es posible di porqué no. 3. Construye una gramática que genere cadenas binarias que contengan cualquier cantidad, entera no negativa, de pares de unos. Luego elabora un árbol de derivación para la cadena 01101001.
  • 19. Solución al ejercicio 3 del tercer ejemplo: Primero representamos el diagrama de transición de un autómata que acepte el lenguaje “pares de unos” 0 0 0 1 1 1 2 3 1
  • 20. El autómata diseñado Es un autómata finito (Q, ∑ , q0, δ. F) con transiciones que puede convertirse en un autómata de pila (Q, ∑ , Г, q0, δ. F) con transiciones δ: Q x ( ∑ U λ) Q x Г* siendo Г el alfabeto de pila. El autómata de pila equivalente, suponiendo una pila conteniendo sólo la cadena vacía λ, se puede representar de la siguiente manera:
  • 21. 0, λ; λ 0, λ; λ 0, λ; λ 1, λ; λ 1, λ; λ 1 2 3 1, λ; λ La transición (0, λ; λ) en el estado 1 (al igual que en los estados 2 y 3)significa que cuando la cabeza lectora de la máquina lee un 0 en la cinta de entrada, se extrae λ (cadena vacía) de la cima de la pila y se coloca λ en la cima de la misma pila. Nótese que, si en lugar de λ hubiese otros símbolos de ∑ , podría extraerse e insertarse cualquier símbolo del alfabeto de pila de manera que al final se altere su contenido.
  • 22. Asumiendo como válido El diagrama de transiciones del autómata de pila (M) , puede obtenerse la correspondiente gramática independiente del contexto mediante el algoritmo siguiente: 1. Para cada estado de aceptación f de M, forme la regla de reescritura S  < q0, λ, f). 2. Para cada estado p en M forme la regla de reescritura <p, λ, p>  λ. 3. Para cada transición (p, x, y; q, z), con y ≠ λ genere una regla de reescritura <p, y, r> x <q, z, r> para cada estado r de M. 4. Para cada transición de la forma (p, x, λ; q, z), genere todas las reglas de reescritura de la forma <p, w, r>  x <q, z, k> <k, w, r>, donde w es un símbolo de pila o λ, mientras que k y r (que pueden ser iguales) son estados de M.
  • 23. Aplicando el algoritmo 1. Como sólo el estado 3 es de aceptación: S < 1, λ, 3> 2. Para cada uno de los tres estados < 1, λ, 1>  λ <2, λ, 2>  λ <3, λ, 3>  λ 3. No existen transiciones (p, x, y; q, z), con y ≠ λ 4. Se establece la regla <p, w, r>  x <q, z, k> <k, w, r>, donde w = { λ }; k = 1,2,3; r = 1, 2, 3 Por lo que al realizar este 4to paso se tendrán las siguientes reglas de reescritura:
  • 24. Para la transición (1, 0,λ; 1, λ) <1, λ, 2>  1 <2, λ, 2> <2, λ, 2> < 1, λ, 1>  0 <1, λ, 1> <1, λ, 1> <1, λ, 2>  1 <2, λ, 3> <3, λ, 2> <1, λ, 1>  0 <1 , λ, 2> <2, λ, 1> <1, λ, 3>  1<2, λ, 1> <1, λ, 3> <1, λ, 1 >  0 < 1, λ, 3> <3, λ, 1> <1, λ, 3>  1<2, λ, 2> <1, λ, 3> <1, λ, 2>  0 < 1, λ, 1> <1, λ, 2> <1, λ, 3>  1<2, λ, 2> <1, λ, 3> <1, λ, 2>  0 <1, λ, 2> <2, λ, 2> para la transición (2,0, λ; λ,2) <1, λ, 2>  0 <1, λ, 3> <3, λ, 2> <2, λ, 1>  0 <2, λ, 1> <1, λ, 1> <1, λ, 3>  0 <1, λ, 1> <1, λ, 3> <2, λ, 1>  0<2, λ, 2> <2, λ, 1> < 1, λ, 3>  0 <1, λ, 2> <1, λ, 3> <2, λ, 1>  0 <2, λ, 3> <3, λ, 1> < 1, λ, 3 >  0 <1, λ, 3> <3, λ, 3> <2, λ, 2>  0 <2, λ, 1> <1, λ, 2> Para la transición (1, 1, λ; 2, λ) <2, λ, 2>  0<2, λ, 2> <2, λ, 2> <1, λ, 1 >  1 <2, λ, 1> <1, λ, 1> <2, λ, 2>  0<2, λ, 3> <3, λ, 2> <1, λ, 1>  1 <2 , λ, 2> <2, λ, 1> <2, λ, 3>  0<2, λ, 1> <1, λ, 3> <1, λ, 1>  1 <2, λ, 3> <3, λ, 1> <2, λ, 3>  0<2, λ, 2> <2, λ,3> < 1, λ, 2>  1<2, λ, 1> <1, λ, 2> <3, λ, 3>  0<2, λ, 3> <3, λ,3>
  • 25. Dado que w asume sólo un valor ( λ ) , mientras que r y k asumen tres (1, 2 y 3 respectivamente), cada transición genera 9 reglas de reescritura (3 x 3 x 1), como ha sucedido en las tres transiciones cuyas reglas generadas se muestran en la diapositiva anterior. Vale la pena que concluyas de escribir las reglas de reescritura que generan las otras cuatro restricciones.
  • 26. 4.1.3 Recursividad por la derecha y por la izquierda • Puede observarse que las derivaciones pueden repetirse sustituciones cíclicas y recursivas de manera que existen casos en que debemos ayudarnos de reglas lambda (épsilon) para concluir. De la misma manera se observa esto en los árboles como en los procesos de derivación por la izquierda o por la derecha. • Esta propiedad de recursividad en la derivación da origen al llamado “lema de bombeo” que posteriormente será utilizado.