SlideShare una empresa de Scribd logo
Á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

Lenguajes formales
Lenguajes formalesLenguajes formales
Lenguajes formales
Isabel
 
Tabla de símbolos
Tabla de símbolosTabla de símbolos
maquinas de turing
maquinas de turingmaquinas de turing
maquinas de turing
Anel Sosa
 
Registros de control y estados de la CPU
Registros de control y estados de la CPURegistros de control y estados de la CPU
Registros de control y estados de la CPU
Ivan Porras
 
Analizador Sintáctico
Analizador SintácticoAnalizador Sintáctico
Analizador Sintáctico
Pablo Guerra
 
Casos de uso
Casos de usoCasos de uso
Casos de uso
Ejército Mexicano
 
Algoritmo de dekker
Algoritmo de dekker Algoritmo de dekker
Algoritmo de dekker
Universidad Peruana del Oriente
 
Teoria de Automatas & Lenguajes Formales
Teoria de Automatas & Lenguajes FormalesTeoria de Automatas & Lenguajes Formales
Teoria de Automatas & Lenguajes Formales
Erivan Martinez Ovando
 
Máquinas de Turing - Tipos y Aplicaciones
Máquinas de Turing - Tipos y AplicacionesMáquinas de Turing - Tipos y Aplicaciones
Máquinas de Turing - Tipos y Aplicaciones
Rosviannis Barreiro
 
Lenguajes formales
Lenguajes formalesLenguajes formales
Lenguajes formales
JuanCarlosSosaDelaCruz
 
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
 
Alfabetos-Lenguajes y Automatas 1
Alfabetos-Lenguajes y Automatas 1Alfabetos-Lenguajes y Automatas 1
Alfabetos-Lenguajes y Automatas 1
Osiris Mirerus
 
Fundamentos de la ingenieria del software
Fundamentos de la ingenieria del softwareFundamentos de la ingenieria del software
Fundamentos de la ingenieria del software
alberto calatayu
 
Compiladores, Analisis Lexico, Ejemplo Minilenguaje
Compiladores, Analisis Lexico, Ejemplo MinilenguajeCompiladores, Analisis Lexico, Ejemplo Minilenguaje
Compiladores, Analisis Lexico, Ejemplo Minilenguaje
Pedro Antonio Villalta (Pavillalta)
 
Automata Finito No Determinista
Automata Finito No DeterministaAutomata Finito No Determinista
Automata Finito No Determinista
Jean Bernard
 
Estructura de datos: lista, pilas y colas
Estructura de datos: lista, pilas y colasEstructura de datos: lista, pilas y colas
Estructura de datos: lista, pilas y colas
Huascar Génere
 
Analisis Semantico
Analisis Semantico Analisis Semantico
Analisis Semantico
Martin Paucar Mendez
 
Unidad1 Lenguajes y automatas
Unidad1 Lenguajes y automatasUnidad1 Lenguajes y automatas
Unidad1 Lenguajes y automatas
Sergio Lara Guevara
 
GESTION DE PROCESOS Sistemas Operativos
GESTION DE PROCESOS Sistemas OperativosGESTION DE PROCESOS Sistemas Operativos
GESTION DE PROCESOS Sistemas Operativos
adriel91
 
Gramáticas formales
Gramáticas formales Gramáticas formales
Gramáticas formales
Astrid Rodriguez
 

La actualidad más candente (20)

Lenguajes formales
Lenguajes formalesLenguajes formales
Lenguajes formales
 
Tabla de símbolos
Tabla de símbolosTabla de símbolos
Tabla de símbolos
 
maquinas de turing
maquinas de turingmaquinas de turing
maquinas de turing
 
Registros de control y estados de la CPU
Registros de control y estados de la CPURegistros de control y estados de la CPU
Registros de control y estados de la CPU
 
Analizador Sintáctico
Analizador SintácticoAnalizador Sintáctico
Analizador Sintáctico
 
Casos de uso
Casos de usoCasos de uso
Casos de uso
 
Algoritmo de dekker
Algoritmo de dekker Algoritmo de dekker
Algoritmo de dekker
 
Teoria de Automatas & Lenguajes Formales
Teoria de Automatas & Lenguajes FormalesTeoria de Automatas & Lenguajes Formales
Teoria de Automatas & Lenguajes Formales
 
Máquinas de Turing - Tipos y Aplicaciones
Máquinas de Turing - Tipos y AplicacionesMáquinas de Turing - Tipos y Aplicaciones
Máquinas de Turing - Tipos y Aplicaciones
 
Lenguajes formales
Lenguajes formalesLenguajes formales
Lenguajes formales
 
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.
 
Alfabetos-Lenguajes y Automatas 1
Alfabetos-Lenguajes y Automatas 1Alfabetos-Lenguajes y Automatas 1
Alfabetos-Lenguajes y Automatas 1
 
Fundamentos de la ingenieria del software
Fundamentos de la ingenieria del softwareFundamentos de la ingenieria del software
Fundamentos de la ingenieria del software
 
Compiladores, Analisis Lexico, Ejemplo Minilenguaje
Compiladores, Analisis Lexico, Ejemplo MinilenguajeCompiladores, Analisis Lexico, Ejemplo Minilenguaje
Compiladores, Analisis Lexico, Ejemplo Minilenguaje
 
Automata Finito No Determinista
Automata Finito No DeterministaAutomata Finito No Determinista
Automata Finito No Determinista
 
Estructura de datos: lista, pilas y colas
Estructura de datos: lista, pilas y colasEstructura de datos: lista, pilas y colas
Estructura de datos: lista, pilas y colas
 
Analisis Semantico
Analisis Semantico Analisis Semantico
Analisis Semantico
 
Unidad1 Lenguajes y automatas
Unidad1 Lenguajes y automatasUnidad1 Lenguajes y automatas
Unidad1 Lenguajes y automatas
 
GESTION DE PROCESOS Sistemas Operativos
GESTION DE PROCESOS Sistemas OperativosGESTION DE PROCESOS Sistemas Operativos
GESTION DE PROCESOS Sistemas Operativos
 
Gramáticas formales
Gramáticas formales Gramáticas formales
Gramáticas formales
 

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 GREIBACH
Carlos Manuel
 
Arbol analisis sintactico
Arbol analisis sintacticoArbol analisis sintactico
Arbol analisis sintactico
PUCE SEDE IBARRA
 
T computacion rodrigo de castro
T computacion rodrigo de castroT computacion rodrigo de castro
T computacion rodrigo de castro
boofan
 
Gramaticas
GramaticasGramaticas
Gramaticas
PUCE SEDE IBARRA
 
Lenguajes autómatas.
Lenguajes autómatas.Lenguajes autómatas.
Lenguajes autómatas.
LuiS YmAY
 
Analizador lexico
Analizador lexicoAnalizador lexico
Gramatica libre de contexto
Gramatica libre de contextoGramatica libre de contexto
Gramatica libre de contexto
Daniel Molina
 
Adobe premiere
Adobe premiereAdobe premiere
Adobe premiere
Nery Choquecota
 
Tutorial de JFLAP
Tutorial de JFLAPTutorial de JFLAP
Tutorial de JFLAP
Sara Martínez Gómez
 
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
 
Reglas de produccion
Reglas de produccionReglas de produccion
Reglas de produccion
Dante4
 
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
angiepao1717
 
Manejo De Datos
Manejo De DatosManejo De Datos
Manejo De Datos
Katerine Burneo
 
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 CHOMSKY
KATHY VILAFAÑE
 
formació i seguiment auxiliars 2013 14
formació i seguiment auxiliars 2013 14formació i seguiment auxiliars 2013 14
formació i seguiment auxiliars 2013 14
rcastel7
 
Conoces la nueva reforma laboral
Conoces la nueva reforma laboralConoces la nueva reforma laboral
Conoces la nueva reforma laboral
Ana Cris Hs
 
Presentacion Biofisico
Presentacion BiofisicoPresentacion Biofisico
Presentacion Biofisico
noemiizamora
 
Javier sánchez
Javier sánchezJavier sánchez
Javier sánchez
cristobalvalera2010
 

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.
 
Analizador lexico
Analizador lexicoAnalizador lexico
Analizador lexico
 
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
 
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

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

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