SlideShare una empresa de Scribd logo
1 de 26
Descargar para leer sin conexión
Árboles de derivación




                     Departamento de Ciencias de la Computación




                                                                       Derivaciones

              entonces A                                 es una derivación
     donde , son cadenas arbitrarias de símbolos gramaticales.

Si    1       2                  n
                                     se dice que                  1
                                                                      deriva a   n

          deriva en un paso
          deriva en cero o más pasos




                     Departamento de Ciencias de la Computación
Derivaciones

Podemos decir:

        y              entonces
Del mismo modo se puede decir
    deriva en uno o más pasos




                 Departamento de Ciencias de la Computación




                                                              Derivaciones




                 Departamento de Ciencias de la Computación
Árboles de derivación




Departamento de Ciencias de la Computación




Ejemplo de árbol de derivación




Departamento de Ciencias de la Computación
Ejercicio




Departamento de Ciencias de la Computación




                                             Ambigüedad




Departamento de Ciencias de la Computación
Ejemplo de gramática ambigua




Departamento de Ciencias de la Computación




Ejemplo de gramática ambigua




Departamento de Ciencias de la Computación
Ejemplo de gramática ambigua




Departamento de Ciencias de la Computación




Ejemplo de gramática ambigua




Departamento de Ciencias de la Computación
Ejercicio



λ




    Departamento de Ciencias de la Computación




                Gramáticas bien formadas




                ∈


              ⇔        ⇒                   ∈




    Departamento de Ciencias de la Computación
Gramáticas bien formadas

                                ∈
⇒        ∈




         ∈




          ∈                         ⇒
                      ∈


    Departamento de Ciencias de la Computación




                Gramáticas bien formadas

                                                          λ
                  λ


                                                 λ
                      ∈                              ⇒λ

                                         λ




    Departamento de Ciencias de la Computación
Gramáticas bien formadas




Departamento de Ciencias de la Computación




            Gramáticas bien formadas




λ                  λ
λ                               λ




Departamento de Ciencias de la Computación
Ejemplo




    λ
λ




    Departamento de Ciencias de la Computación




                                                 Ejemplo



    λ
λ




                           λ
                       λ

    Departamento de Ciencias de la Computación
Ejemplo



    λ
λ                                                    λ




                                                 λ




    Departamento de Ciencias de la Computación




                                                         Ejemplo


                          λ




                                                            λ




    Departamento de Ciencias de la Computación
Ejercicio




 Departamento de Ciencias de la Computación




Asociatividad de los operadores




 Departamento de Ciencias de la Computación
Asociatividad




Departamento de Ciencias de la Computación




                                               Precedencia




Departamento de Ciencias de la Computación
Precedencia




Departamento de Ciencias de la Computación




                    Ejemplo de precedencia




Departamento de Ciencias de la Computación
Solución al ejemplo de precedencia




   Departamento de Ciencias de la Computación




Solución al ejemplo de precedencia




   Departamento de Ciencias de la Computación
Gramática correcta




      Departamento de Ciencias de la Computación




Lenguajes y procesadores de lenguaje




      Departamento de Ciencias de la Computación
Procesador de lenguaje: partes




Departamento de Ciencias de la Computación




                   Fases de un compilador




Departamento de Ciencias de la Computación
Organización de las fases en front end y
                                                       back end




          Departamento de Ciencias de la Computación




                                    Front end y back end




          Departamento de Ciencias de la Computación
Tipos de análisis sintáctico.




Departamento de Ciencias de la Computación




                                             Ejemplo




Departamento de Ciencias de la Computación
Ejemplo de análisis sintáctico: descendente




            Departamento de Ciencias de la Computación




 Ejemplo de análisis sintáctico: ascendente




            Departamento de Ciencias de la Computación
Gramáticas que permiten un análisis en tiempo
                                                         lineal O(n)




            Departamento de Ciencias de la Computación




Gramáticas que permiten un análisis en tiempo
                                                         lineal O(n)




            Departamento de Ciencias de la Computación
Ejemplo




Departamento de Ciencias de la Computación




                                             Ejercicio




Departamento de Ciencias de la Computación
Ejercicio




    Departamento de Ciencias de la Computación




                                                 Ejercicio



λ




    Departamento de Ciencias de la Computación
Ejercicio



λ




    λ
                                                             λ

            λ                 λ                      λ   λ
        Departamento de Ciencias de la Computación




                                                         Ejercicio




        Departamento de Ciencias de la Computación
Ejemplo




Departamento de Ciencias de la Computación




                                             Ejemplo




Departamento de Ciencias de la Computación
Ejemplo




Departamento de Ciencias de la Computación

Más contenido relacionado

La actualidad más candente

Procesos e Hilos en los Sistemas Operativos
Procesos e Hilos en los Sistemas OperativosProcesos e Hilos en los Sistemas Operativos
Procesos e Hilos en los Sistemas OperativosEmmanuel Fortuna
 
Automatas Finitos Deterministicos y No Deterministicos
Automatas Finitos Deterministicos y No DeterministicosAutomatas Finitos Deterministicos y No Deterministicos
Automatas Finitos Deterministicos y No DeterministicosRosviannis Barreiro
 
Los lenguajes aceptados para una maquina de turing
Los lenguajes aceptados para una maquina de turingLos lenguajes aceptados para una maquina de turing
Los lenguajes aceptados para una maquina de turingJonathan Bastidas
 
Lenguajes de programacion tema 2_compiladores e interpretes
Lenguajes de programacion tema 2_compiladores e interpretesLenguajes de programacion tema 2_compiladores e interpretes
Lenguajes de programacion tema 2_compiladores e interpretesIsrael Castillo Cruz
 
Unidad 6 Protección y seguridad.
Unidad 6 Protección y seguridad.Unidad 6 Protección y seguridad.
Unidad 6 Protección y seguridad.Juan Anaya
 
Portafolio unidad 2 [Lenguajes y autómatas]- Expresiones y lenguajes regulares
Portafolio unidad 2 [Lenguajes y autómatas]- Expresiones y lenguajes regularesPortafolio unidad 2 [Lenguajes y autómatas]- Expresiones y lenguajes regulares
Portafolio unidad 2 [Lenguajes y autómatas]- Expresiones y lenguajes regularesHumano Terricola
 
Conceptos Unidad 1 Lenguajes Automatas Introducción a la Teoría de Lenguaje...
Conceptos Unidad 1 Lenguajes Automatas Introducción  a  la Teoría de Lenguaje...Conceptos Unidad 1 Lenguajes Automatas Introducción  a  la Teoría de Lenguaje...
Conceptos Unidad 1 Lenguajes Automatas Introducción a la Teoría de Lenguaje...Hugo Alberto Rivera Diaz
 
Tópicos Avanzados de Programación - Unidad 3 programacion concurrente
Tópicos Avanzados de Programación - Unidad 3 programacion concurrenteTópicos Avanzados de Programación - Unidad 3 programacion concurrente
Tópicos Avanzados de Programación - Unidad 3 programacion concurrenteJosé Antonio Sandoval Acosta
 
ANALIZADOR SINTACTICO: INTRODUCION, CONCEPTOS, CARACTERISTICAS
ANALIZADOR SINTACTICO: INTRODUCION, CONCEPTOS, CARACTERISTICAS ANALIZADOR SINTACTICO: INTRODUCION, CONCEPTOS, CARACTERISTICAS
ANALIZADOR SINTACTICO: INTRODUCION, CONCEPTOS, CARACTERISTICAS Infomania pro
 
Componentes y Librerías - Tópicos avanzados de programación.
Componentes y Librerías - Tópicos avanzados de programación.Componentes y Librerías - Tópicos avanzados de programación.
Componentes y Librerías - Tópicos avanzados de programación.Giancarlo Aguilar
 
Lenguajes autómatas.
Lenguajes autómatas.Lenguajes autómatas.
Lenguajes autómatas.LuiS YmAY
 
Concurrencia interbloqueo e inanición
Concurrencia interbloqueo e inaniciónConcurrencia interbloqueo e inanición
Concurrencia interbloqueo e inaniciónjhonfgarcia
 
Estructura de Datos - Unidad 5 metodos de ordenamiento
Estructura de Datos - Unidad 5 metodos de ordenamientoEstructura de Datos - Unidad 5 metodos de ordenamiento
Estructura de Datos - Unidad 5 metodos de ordenamientoJosé Antonio Sandoval Acosta
 

La actualidad más candente (20)

Procesos e Hilos en los Sistemas Operativos
Procesos e Hilos en los Sistemas OperativosProcesos e Hilos en los Sistemas Operativos
Procesos e Hilos en los Sistemas Operativos
 
Automatas Finitos Deterministicos y No Deterministicos
Automatas Finitos Deterministicos y No DeterministicosAutomatas Finitos Deterministicos y No Deterministicos
Automatas Finitos Deterministicos y No Deterministicos
 
TABLA DE SÍMBOLOS
TABLA DE SÍMBOLOSTABLA DE SÍMBOLOS
TABLA DE SÍMBOLOS
 
Los lenguajes aceptados para una maquina de turing
Los lenguajes aceptados para una maquina de turingLos lenguajes aceptados para una maquina de turing
Los lenguajes aceptados para una maquina de turing
 
Algoritmo de dekker
Algoritmo de dekker Algoritmo de dekker
Algoritmo de dekker
 
Lenguajes de programacion tema 2_compiladores e interpretes
Lenguajes de programacion tema 2_compiladores e interpretesLenguajes de programacion tema 2_compiladores e interpretes
Lenguajes de programacion tema 2_compiladores e interpretes
 
Unidad 6 Protección y seguridad.
Unidad 6 Protección y seguridad.Unidad 6 Protección y seguridad.
Unidad 6 Protección y seguridad.
 
Portafolio unidad 2 [Lenguajes y autómatas]- Expresiones y lenguajes regulares
Portafolio unidad 2 [Lenguajes y autómatas]- Expresiones y lenguajes regularesPortafolio unidad 2 [Lenguajes y autómatas]- Expresiones y lenguajes regulares
Portafolio unidad 2 [Lenguajes y autómatas]- Expresiones y lenguajes regulares
 
Analizador lexico
Analizador lexicoAnalizador lexico
Analizador lexico
 
Conceptos Unidad 1 Lenguajes Automatas Introducción a la Teoría de Lenguaje...
Conceptos Unidad 1 Lenguajes Automatas Introducción  a  la Teoría de Lenguaje...Conceptos Unidad 1 Lenguajes Automatas Introducción  a  la Teoría de Lenguaje...
Conceptos Unidad 1 Lenguajes Automatas Introducción a la Teoría de Lenguaje...
 
Tópicos Avanzados de Programación - Unidad 3 programacion concurrente
Tópicos Avanzados de Programación - Unidad 3 programacion concurrenteTópicos Avanzados de Programación - Unidad 3 programacion concurrente
Tópicos Avanzados de Programación - Unidad 3 programacion concurrente
 
ANALIZADOR SINTACTICO: INTRODUCION, CONCEPTOS, CARACTERISTICAS
ANALIZADOR SINTACTICO: INTRODUCION, CONCEPTOS, CARACTERISTICAS ANALIZADOR SINTACTICO: INTRODUCION, CONCEPTOS, CARACTERISTICAS
ANALIZADOR SINTACTICO: INTRODUCION, CONCEPTOS, CARACTERISTICAS
 
Componentes y Librerías - Tópicos avanzados de programación.
Componentes y Librerías - Tópicos avanzados de programación.Componentes y Librerías - Tópicos avanzados de programación.
Componentes y Librerías - Tópicos avanzados de programación.
 
GRAMATICAS AMBIGUAS
GRAMATICAS AMBIGUASGRAMATICAS AMBIGUAS
GRAMATICAS AMBIGUAS
 
Lenguajes autómatas.
Lenguajes autómatas.Lenguajes autómatas.
Lenguajes autómatas.
 
Modos de direccionamiento y formatos
Modos de direccionamiento y formatosModos de direccionamiento y formatos
Modos de direccionamiento y formatos
 
Traductor y su estructura
Traductor y su estructuraTraductor y su estructura
Traductor y su estructura
 
Concurrencia interbloqueo e inanición
Concurrencia interbloqueo e inaniciónConcurrencia interbloqueo e inanición
Concurrencia interbloqueo e inanición
 
Código intermedio
Código intermedioCódigo intermedio
Código intermedio
 
Estructura de Datos - Unidad 5 metodos de ordenamiento
Estructura de Datos - Unidad 5 metodos de ordenamientoEstructura de Datos - Unidad 5 metodos de ordenamiento
Estructura de Datos - Unidad 5 metodos de ordenamiento
 

Destacado

LENGUAJES LIBRES DE CONTEXTO Y GRAMATICA LIBRES DE CONTEXTO
LENGUAJES LIBRES DE CONTEXTO Y GRAMATICA LIBRES DE CONTEXTO LENGUAJES LIBRES DE CONTEXTO Y GRAMATICA LIBRES DE CONTEXTO
LENGUAJES LIBRES DE CONTEXTO Y GRAMATICA LIBRES DE CONTEXTO Guillermo Iván Prisco Pérez
 
FORMAS NORMALES DE GREIBACH
FORMAS NORMALES DE GREIBACHFORMAS NORMALES DE GREIBACH
FORMAS NORMALES DE GREIBACHCarlos Manuel
 
T computacion rodrigo de castro
T computacion rodrigo de castroT computacion rodrigo de castro
T computacion rodrigo de castroboofan
 
Gramatica libre de contexto
Gramatica libre de contextoGramatica libre de contexto
Gramatica libre de contextoDaniel Molina
 
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 NLTKRaúl Garreta
 
Reglas de produccion
Reglas de produccionReglas de produccion
Reglas de produccionDante4
 
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
 
Actividad 2 Analizador léxico, sintáctico y semántico
Actividad 2 Analizador léxico, sintáctico y semántico Actividad 2 Analizador léxico, sintáctico y semántico
Actividad 2 Analizador léxico, sintáctico y semántico maryr_
 
GRAMÁTICA GENERATIVA - NOAM CHOMSKY
GRAMÁTICA GENERATIVA - NOAM CHOMSKYGRAMÁTICA GENERATIVA - NOAM CHOMSKY
GRAMÁTICA GENERATIVA - NOAM CHOMSKYKATHY VILAFAÑE
 
formació i seguiment auxiliars 2013 14
formació i seguiment auxiliars 2013 14formació i seguiment auxiliars 2013 14
formació i seguiment auxiliars 2013 14rcastel7
 
Conoces la nueva reforma laboral
Conoces la nueva reforma laboralConoces la nueva reforma laboral
Conoces la nueva reforma laboralAna Cris Hs
 
Presentacion Biofisico
Presentacion BiofisicoPresentacion Biofisico
Presentacion Biofisiconoemiizamora
 

Destacado (20)

LENGUAJES LIBRES DE CONTEXTO Y GRAMATICA LIBRES DE CONTEXTO
LENGUAJES LIBRES DE CONTEXTO Y GRAMATICA LIBRES DE CONTEXTO LENGUAJES LIBRES DE CONTEXTO Y GRAMATICA LIBRES DE CONTEXTO
LENGUAJES LIBRES DE CONTEXTO Y GRAMATICA LIBRES DE CONTEXTO
 
FORMAS NORMALES DE GREIBACH
FORMAS NORMALES DE GREIBACHFORMAS NORMALES DE GREIBACH
FORMAS NORMALES DE GREIBACH
 
Arbol analisis sintactico
Arbol analisis sintacticoArbol analisis sintactico
Arbol analisis sintactico
 
T computacion rodrigo de castro
T computacion rodrigo de castroT computacion rodrigo de castro
T computacion rodrigo de castro
 
Gramaticas
GramaticasGramaticas
Gramaticas
 
Gramatica libre de contexto
Gramatica libre de contextoGramatica libre de contexto
Gramatica libre de contexto
 
Adobe premiere
Adobe premiereAdobe premiere
Adobe premiere
 
Tutorial de JFLAP
Tutorial de JFLAPTutorial de JFLAP
Tutorial de JFLAP
 
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
 
Reglas de produccion
Reglas de produccionReglas de produccion
Reglas de produccion
 
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
 
Compiladores, Analisis Lexico, Ejemplo Minilenguaje
Compiladores, Analisis Lexico, Ejemplo MinilenguajeCompiladores, Analisis Lexico, Ejemplo Minilenguaje
Compiladores, Analisis Lexico, Ejemplo Minilenguaje
 
Manejo De Datos
Manejo De DatosManejo De Datos
Manejo De Datos
 
Actividad 2 Analizador léxico, sintáctico y semántico
Actividad 2 Analizador léxico, sintáctico y semántico Actividad 2 Analizador léxico, sintáctico y semántico
Actividad 2 Analizador léxico, sintáctico y semántico
 
GRAMÁTICA GENERATIVA - NOAM CHOMSKY
GRAMÁTICA GENERATIVA - NOAM CHOMSKYGRAMÁTICA GENERATIVA - NOAM CHOMSKY
GRAMÁTICA GENERATIVA - NOAM CHOMSKY
 
formació i seguiment auxiliars 2013 14
formació i seguiment auxiliars 2013 14formació i seguiment auxiliars 2013 14
formació i seguiment auxiliars 2013 14
 
Conoces la nueva reforma laboral
Conoces la nueva reforma laboralConoces la nueva reforma laboral
Conoces la nueva reforma laboral
 
Presentacion Biofisico
Presentacion BiofisicoPresentacion Biofisico
Presentacion Biofisico
 
Javier sánchez
Javier sánchezJavier sánchez
Javier sánchez
 
Animales de la selva
Animales de la selvaAnimales de la selva
Animales de la selva
 

Similar a Arboles de derivacion

Similar a Arboles de derivacion (6)

Tema3
Tema3Tema3
Tema3
 
Transp objetos
Transp objetosTransp objetos
Transp objetos
 
Transp objetos
Transp objetosTransp objetos
Transp objetos
 
Transp objetos
Transp objetosTransp objetos
Transp objetos
 
Ly bd
Ly bdLy bd
Ly bd
 
Proyecto
ProyectoProyecto
Proyecto
 

Arboles de derivacion

  • 1. Árboles de derivación Departamento de Ciencias de la Computación Derivaciones entonces A es una derivación donde , son cadenas arbitrarias de símbolos gramaticales. Si 1 2 n se dice que 1 deriva a n deriva en un paso deriva en cero o más pasos Departamento de Ciencias de la Computación
  • 2. Derivaciones Podemos decir: y entonces Del mismo modo se puede decir deriva en uno o más pasos Departamento de Ciencias de la Computación Derivaciones Departamento de Ciencias de la Computación
  • 3. Árboles de derivación Departamento de Ciencias de la Computación Ejemplo de árbol de derivación Departamento de Ciencias de la Computación
  • 4. Ejercicio Departamento de Ciencias de la Computación Ambigüedad Departamento de Ciencias de la Computación
  • 5. Ejemplo de gramática ambigua Departamento de Ciencias de la Computación Ejemplo de gramática ambigua Departamento de Ciencias de la Computación
  • 6. Ejemplo de gramática ambigua Departamento de Ciencias de la Computación Ejemplo de gramática ambigua Departamento de Ciencias de la Computación
  • 7. Ejercicio λ Departamento de Ciencias de la Computación Gramáticas bien formadas ∈ ⇔ ⇒ ∈ Departamento de Ciencias de la Computación
  • 8. Gramáticas bien formadas ∈ ⇒ ∈ ∈ ∈ ⇒ ∈ Departamento de Ciencias de la Computación Gramáticas bien formadas λ λ λ ∈ ⇒λ λ Departamento de Ciencias de la Computación
  • 9. Gramáticas bien formadas Departamento de Ciencias de la Computación Gramáticas bien formadas λ λ λ λ Departamento de Ciencias de la Computación
  • 10. Ejemplo λ λ Departamento de Ciencias de la Computación Ejemplo λ λ λ λ Departamento de Ciencias de la Computación
  • 11. Ejemplo λ λ λ λ Departamento de Ciencias de la Computación Ejemplo λ λ Departamento de Ciencias de la Computación
  • 12. Ejercicio Departamento de Ciencias de la Computación Asociatividad de los operadores Departamento de Ciencias de la Computación
  • 13. Asociatividad Departamento de Ciencias de la Computación Precedencia Departamento de Ciencias de la Computación
  • 14. Precedencia Departamento de Ciencias de la Computación Ejemplo de precedencia Departamento de Ciencias de la Computación
  • 15. Solución al ejemplo de precedencia Departamento de Ciencias de la Computación Solución al ejemplo de precedencia Departamento de Ciencias de la Computación
  • 16. Gramática correcta Departamento de Ciencias de la Computación Lenguajes y procesadores de lenguaje Departamento de Ciencias de la Computación
  • 17. Procesador de lenguaje: partes Departamento de Ciencias de la Computación Fases de un compilador Departamento de Ciencias de la Computación
  • 18. Organización de las fases en front end y back end Departamento de Ciencias de la Computación Front end y back end Departamento de Ciencias de la Computación
  • 19. Tipos de análisis sintáctico. Departamento de Ciencias de la Computación Ejemplo Departamento de Ciencias de la Computación
  • 20. Ejemplo de análisis sintáctico: descendente Departamento de Ciencias de la Computación Ejemplo de análisis sintáctico: ascendente Departamento de Ciencias de la Computación
  • 21. Gramáticas que permiten un análisis en tiempo lineal O(n) Departamento de Ciencias de la Computación Gramáticas que permiten un análisis en tiempo lineal O(n) Departamento de Ciencias de la Computación
  • 22. Ejemplo Departamento de Ciencias de la Computación Ejercicio Departamento de Ciencias de la Computación
  • 23. Ejercicio Departamento de Ciencias de la Computación Ejercicio λ Departamento de Ciencias de la Computación
  • 24. Ejercicio λ λ λ λ λ λ λ Departamento de Ciencias de la Computación Ejercicio Departamento de Ciencias de la Computación
  • 25. Ejemplo Departamento de Ciencias de la Computación Ejemplo Departamento de Ciencias de la Computación
  • 26. Ejemplo Departamento de Ciencias de la Computación