La descarga está en progreso. Por favor, espere

La descarga está en progreso. Por favor, espere

Computabilidad. L. Regulares Problemas (=Lenguajes)

Presentaciones similares


Presentación del tema: "Computabilidad. L. Regulares Problemas (=Lenguajes)"— Transcripción de la presentación:

1 Computabilidad

2 L. Regulares Problemas (=Lenguajes)

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

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

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

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

7 L. Recursivamente Enumerables Problemas (=Lenguajes) 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 L. Regulares L. Independientes del Contexto

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

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

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

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

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

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

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

15 INICIALFINAL EstadoLecturaEstado QiSiQj Cada tupla viene definida por: Autómatas Finitos

16 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… Ejemplos: L.Indep. Contexto

17 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… Ejemplos: L.Indep. Contexto Hace falta memoria auxiliar, pero basta con una pila…

18 Cada tupla viene definida por: Autómatas a Pila INICIALFINAL EstadoLecturaEstado Acción Pila QiQi SiSi QjQj In/Out

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: –a n L. Independiente del Contexto, NO regular: –a n b n L. Rec. Enumerable, NO Indep. Ctxto: –a n b n c n

25 INICIALFINAL EstadoLecturaEstado Escritura Movimient o QiQi SiSi QjQj SjSj D (izq ó der) Máquina de Turing


Descargar ppt "Computabilidad. L. Regulares Problemas (=Lenguajes)"

Presentaciones similares


Anuncios Google