1 / 25

Computabilidad

Computabilidad. Problemas (=Lenguajes). L. Regulares. L. Regulares Autómatas Finitos (=MEF) Expresiones Regulares. Problemas (=Lenguajes). L. Regulares. L. Regulares Autómatas Finitos (=MEF) Expresiones Regulares. Problemas (=Lenguajes). L. Independientes del Contexto. L. Regulares.

eliora
Download Presentation

Computabilidad

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Computabilidad

  2. Problemas (=Lenguajes) L. Regulares

  3. L. Regulares Autómatas Finitos (=MEF) Expresiones Regulares Problemas (=Lenguajes) L. Regulares

  4. L. Regulares Autómatas Finitos (=MEF) Expresiones Regulares Problemas (=Lenguajes) L. Independientes del Contexto L. Regulares

  5. L. Regulares Autómatas Finitos (=MEF) Expresiones Regulares L. Indep. Contexto Autómatas a Pila Gramáticas I.C. Problemas (=Lenguajes) L. Independientes del Contexto L. Regulares

  6. L. Regulares Autómatas Finitos (=MEF) Expresiones Regulares L. Indep. Contexto Autómatas a Pila Gramáticas I.C. Problemas (=Lenguajes) L. Recursivamente Enumerables L. Independientes del Contexto L. Regulares

  7. L. Regulares Autómatas Finitos (=MEF) Expresiones Regulares L. Indep. Contexto Autómatas a Pila Gramáticas I.C. L. Rec. Enumerables Máquinas de Turing Gr. sin restricciones Problemas (=Lenguajes) L. Recursivamente Enumerables L. Independientes del Contexto L. Regulares

  8. Problemas (=Lenguajes) ¿Otros tipos de problemas…? L. Recursivamente Enumerables L. Independientes del Contexto L. Regulares

  9. Problemas (=Lenguajes) ¿Otros tipos de problemas…? L. Recursivamente Enumerables L. Independientes del Contexto L. Regulares

  10. Problemas (=Lenguajes) ¿Otros tipos de problemas…? L. Recursivamente Enumerables L. Independientes del Contexto L. Regulares

  11. Problemas (=Lenguajes) ¿Otros tipos de problemas…? L. Recursivamente Enumerables L. Independientes del Contexto L. Regulares

  12. Problemas (=Lenguajes) ¿Otros tipos de problemas…? L. Recursivamente Enumerables L. Independientes del Contexto L. Regulares

  13. Ejemplos: L. Regulares • Electrónica (Máquinas Moore, etc…) • Expendedores bebidas, etc… • Expresiones algebraicas (!!SIN paréntesis!!)

  14. Ejemplos: L. Regulares • Electrónica (Máquinas Moore, etc…) • Expendedores bebidas, etc… • Expresiones algebraicas (!!SIN paréntesis!!) No hace falta memoria “auxiliar”, solo un conjunto finito de estados:

  15. Autómatas Finitos • Cada tupla viene definida por:

  16. Ejemplos: L.Indep. Contexto • Todos los Lenguajes de Programación: • Incluyendo expresiones CON paréntesis • Casi todos los Lenguajes Naturales: • Excepto Bámbula (dialecto africano) y Alemán Suizo • Estructuras NO IC en muchos lenguajes…

  17. Ejemplos: L.Indep. Contexto • Todos los Lenguajes de Programación: • Incluyendo expresiones CON paréntesis • Casi todos los Lenguajes Naturales: • Excepto Bámbula (dialecto africano) y Alemán Suizo • Estructuras NO IC en muchos lenguajes… Hace falta memoria “auxiliar”, pero basta con una pila…

  18. Autómatas a Pila • Cada tupla viene definida por:

  19. Estructura IC: A y B comen peras y manzanas. Ejemplos: NO Indep. Contexto

  20. Estructura IC: A y B comen peras y manzanas. Ejemplos: NO Indep. Contexto

  21. Estructura IC: A y B comen peras y manzanas. Ejemplos: NO Indep. Contexto • Estructura NO IC: A y B comen peras y manzanas, respectivamente.

  22. Estructura IC: A y B comen peras y manzanas. Ejemplos: NO Indep. Contexto • Estructura NO IC: A y B comen peras y manzanas, respectivamente.

  23. Estructura IC: A y B comen peras y manzanas. Ejemplos: NO Indep. Contexto • Estructura NO IC: A y B comen peras y manzanas, respectivamente. !!!Se “cruzan” las relaciones!!!

  24. Otros Ejemplos “sencillos”: • L. Regular: • an • L. Independiente del Contexto, NO regular: • an bn • L. Rec. Enumerable, NO Indep. Ctxto: • an bn cn

  25. Máquina de Turing

More Related