Computabilidad

L. Regulares

Problemas (=Lenguajes)

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

L. Regulares

Problemas (=Lenguajes)

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

L. Regulares

L. Independientesdel Contexto

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

Problemas (=Lenguajes)

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

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

L. Recursivamente Enumerables

Problemas (=Lenguajes)

L. Regulares

L. Independientesdel Contexto

¿Otros tipos de problemas…?

L. Recursivamente Enumerables

Problemas (=Lenguajes)

L. Regulares

L. Independientesdel Contexto

¿Otros tipos de problemas…?

L. Recursivamente Enumerables

Problemas (=Lenguajes)

L. Regulares

L. Independientesdel Contexto

¿Otros tipos de problemas…?

L. Recursivamente Enumerables

Problemas (=Lenguajes)

L. Regulares

L. Independientesdel Contexto

¿Otros tipos de problemas…?

L. Recursivamente Enumerables

Problemas (=Lenguajes)

L. Regulares

L. Independientesdel Contexto

¿Otros tipos de problemas…?

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

• Expendedores bebidas, etc…

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

Ejemplos: L. Regulares

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

INICIAL FINAL

Estado Lectura Estado

Qi Si Qj

• Cada tupla viene definida por:

Autómatas Finitos

• 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

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

• Cada tupla viene definida por:

Autómatas a Pila

INICIAL FINAL

Estado Lectura EstadoAcción

Pila

Qi Si Qj In/Out

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

Ejemplos: NO Indep. Contexto

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

Ejemplos: NO Indep. Contexto

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

Ejemplos: NO Indep. Contexto

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

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

Ejemplos: NO Indep. Contexto

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

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

Otros Ejemplos “sencillos”:

• L. Regular: – an

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

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

INICIAL FINAL

Estado Lectura Estado EscrituraMovimiento

Qi Si Qj SjD

(izq ó der)

Máquina de Turing