computabilidad. l. regulares problemas (=lenguajes)
TRANSCRIPT
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