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

Principios electricos y aplicaciones digitalesl sesion 1
Principios electricos y aplicaciones digitalesl sesion 1Principios electricos y aplicaciones digitalesl sesion 1
Principios electricos y aplicaciones digitalesl sesion 1Rodolfo Alcantara Rosales
 
Programación Orientada a Objetos - constructores y destructores
Programación Orientada a Objetos - constructores y destructoresProgramación Orientada a Objetos - constructores y destructores
Programación Orientada a Objetos - constructores y destructoresAlvaro Enrique Ruano
 
Cuadro sinóptico estructuras de datos y su clasificación
Cuadro sinóptico   estructuras de datos y su clasificaciónCuadro sinóptico   estructuras de datos y su clasificación
Cuadro sinóptico estructuras de datos y su clasificaciónAlex Uhu Colli
 
P. estructurada vs. programación orientada a objetos
P. estructurada vs. programación orientada a objetosP. estructurada vs. programación orientada a objetos
P. estructurada vs. programación orientada a objetosGeovanny Yungán
 
Software en tiempo real
Software en tiempo realSoftware en tiempo real
Software en tiempo realAeivans
 
Importancia de la implementación de las listas para la estructura de datos
Importancia de la implementación de las listas para la estructura de datosImportancia de la implementación de las listas para la estructura de datos
Importancia de la implementación de las listas para la estructura de datospepelebu1313
 
Trabajo de compiladores completo alexandra
Trabajo de compiladores completo alexandraTrabajo de compiladores completo alexandra
Trabajo de compiladores completo alexandraAlexandraMolinaSanchez
 
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
 
Unidad 1 introducción a las estructuras de datos
Unidad 1 introducción a las estructuras de datosUnidad 1 introducción a las estructuras de datos
Unidad 1 introducción a las estructuras de datosUrban Skate House
 
Mapa conceptual sobre
Mapa conceptual sobre Mapa conceptual sobre
Mapa conceptual sobre Juan Anaya
 
Alfabeto, Cadenas, Lenguajes, y Problemas
Alfabeto, Cadenas, Lenguajes, y ProblemasAlfabeto, Cadenas, Lenguajes, y Problemas
Alfabeto, Cadenas, Lenguajes, y ProblemasRaul
 

La actualidad más candente (20)

Interrupciones
InterrupcionesInterrupciones
Interrupciones
 
Algebra relacional
Algebra relacionalAlgebra relacional
Algebra relacional
 
Principios electricos y aplicaciones digitalesl sesion 1
Principios electricos y aplicaciones digitalesl sesion 1Principios electricos y aplicaciones digitalesl sesion 1
Principios electricos y aplicaciones digitalesl sesion 1
 
Programación Orientada a Objetos - constructores y destructores
Programación Orientada a Objetos - constructores y destructoresProgramación Orientada a Objetos - constructores y destructores
Programación Orientada a Objetos - constructores y destructores
 
Cuadro sinóptico estructuras de datos y su clasificación
Cuadro sinóptico   estructuras de datos y su clasificaciónCuadro sinóptico   estructuras de datos y su clasificación
Cuadro sinóptico estructuras de datos y su clasificación
 
P. estructurada vs. programación orientada a objetos
P. estructurada vs. programación orientada a objetosP. estructurada vs. programación orientada a objetos
P. estructurada vs. programación orientada a objetos
 
Tópicos Avanzados de Programación - Unidad 1 GUI
Tópicos Avanzados de Programación - Unidad 1 GUITópicos Avanzados de Programación - Unidad 1 GUI
Tópicos Avanzados de Programación - Unidad 1 GUI
 
Software en tiempo real
Software en tiempo realSoftware en tiempo real
Software en tiempo real
 
Analizador lexico
Analizador lexicoAnalizador lexico
Analizador lexico
 
Importancia de la implementación de las listas para la estructura de datos
Importancia de la implementación de las listas para la estructura de datosImportancia de la implementación de las listas para la estructura de datos
Importancia de la implementación de las listas para la estructura de datos
 
Trabajo de compiladores completo alexandra
Trabajo de compiladores completo alexandraTrabajo de compiladores completo alexandra
Trabajo de compiladores completo alexandra
 
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
 
Unidad 1 introducción a las estructuras de datos
Unidad 1 introducción a las estructuras de datosUnidad 1 introducción a las estructuras de datos
Unidad 1 introducción a las estructuras de datos
 
Lenguaje ensamblador
Lenguaje ensambladorLenguaje ensamblador
Lenguaje ensamblador
 
Arquitecturas de computadoras
Arquitecturas de computadorasArquitecturas de computadoras
Arquitecturas de computadoras
 
Mapa conceptual sobre
Mapa conceptual sobre Mapa conceptual sobre
Mapa conceptual sobre
 
Alfabeto, Cadenas, Lenguajes, y Problemas
Alfabeto, Cadenas, Lenguajes, y ProblemasAlfabeto, Cadenas, Lenguajes, y Problemas
Alfabeto, Cadenas, Lenguajes, y Problemas
 
Estructura de Datos - Unidad 6 Metodos de busqueda
Estructura de Datos - Unidad 6 Metodos de busquedaEstructura de Datos - Unidad 6 Metodos de busqueda
Estructura de Datos - Unidad 6 Metodos de busqueda
 
Tecnicas de Administracion de Memoria
Tecnicas de Administracion de MemoriaTecnicas de Administracion de Memoria
Tecnicas de Administracion de Memoria
 
Código intermedio
Código intermedioCódigo intermedio
Código intermedio
 

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
 
Lenguajes autómatas.
Lenguajes autómatas.Lenguajes autómatas.
Lenguajes autómatas.LuiS YmAY
 
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
 
Lenguajes autómatas.
Lenguajes autómatas.Lenguajes autómatas.
Lenguajes autómatas.
 
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
 

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