Computabilidad

25
Computabilidad

description

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. - PowerPoint PPT Presentation

Transcript of Computabilidad

Page 1: Computabilidad

Computabilidad

Page 2: Computabilidad

L. Regulares

Problemas (=Lenguajes)

Page 3: Computabilidad

• L. Regulares– Autómatas Finitos (=MEF)– Expresiones Regulares

L. Regulares

Problemas (=Lenguajes)

Page 4: Computabilidad

• L. Regulares– Autómatas Finitos (=MEF)– Expresiones Regulares

L. Regulares

L. Independientesdel Contexto

Problemas (=Lenguajes)

Page 5: Computabilidad

• L. Regulares– Autómatas Finitos (=MEF)– Expresiones Regulares

• L. Indep. Contexto– Autómatas a Pila– Gramáticas I.C.L. Regulares

L. Independientesdel Contexto

Problemas (=Lenguajes)

Page 6: Computabilidad

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. Independientesdel Contexto

Page 7: Computabilidad

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. Independientesdel Contexto

Page 8: Computabilidad

L. Recursivamente Enumerables

Problemas (=Lenguajes)

L. Regulares

L. Independientesdel Contexto

¿Otros tipos de problemas…?

Page 9: Computabilidad

L. Recursivamente Enumerables

Problemas (=Lenguajes)

L. Regulares

L. Independientesdel Contexto

¿Otros tipos de problemas…?

Page 10: Computabilidad

L. Recursivamente Enumerables

Problemas (=Lenguajes)

L. Regulares

L. Independientesdel Contexto

¿Otros tipos de problemas…?

Page 11: Computabilidad

L. Recursivamente Enumerables

Problemas (=Lenguajes)

L. Regulares

L. Independientesdel Contexto

¿Otros tipos de problemas…?

Page 12: Computabilidad

L. Recursivamente Enumerables

Problemas (=Lenguajes)

L. Regulares

L. Independientesdel Contexto

¿Otros tipos de problemas…?

Page 13: Computabilidad

• Electrónica (Máquinas Moore, etc…)

• Expendedores bebidas, etc…

• Expresiones algebraicas (!!SIN paréntesis!!)

Ejemplos: L. Regulares

Page 14: Computabilidad

• 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:

Page 15: Computabilidad

INICIAL FINAL

Estado Lectura Estado

Qi Si Qj

• Cada tupla viene definida por:

Autómatas Finitos

Page 16: Computabilidad

• 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

Page 17: Computabilidad

• 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…

Page 18: Computabilidad

• Cada tupla viene definida por:

Autómatas a Pila

INICIAL FINAL

Estado Lectura EstadoAcción

Pila

Qi Si Qj In/Out

Page 19: Computabilidad

• Estructura IC:A y B comen peras y manzanas.

Ejemplos: NO Indep. Contexto

Page 20: Computabilidad

• Estructura IC:A y B comen peras y manzanas.

Ejemplos: NO Indep. Contexto

Page 21: Computabilidad

• Estructura IC:A y B comen peras y manzanas.

Ejemplos: NO Indep. Contexto

• Estructura NO IC:A y B comen peras y manzanas, respectivamente.

Page 22: Computabilidad

• Estructura IC:A y B comen peras y manzanas.

Ejemplos: NO Indep. Contexto

• Estructura NO IC:A y B comen peras y manzanas, respectivamente.

Page 23: Computabilidad

• 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!!!

Page 24: Computabilidad

Otros Ejemplos “sencillos”:

• L. Regular: – an

• L. Independiente del Contexto, NO regular:– an bn

• L. Rec. Enumerable, NO Indep. Ctxto:– an bn cn

Page 25: Computabilidad

INICIAL FINAL

Estado Lectura Estado EscrituraMovimiento

Qi Si Qj SjD

(izq ó der)

Máquina de Turing