Descargar la presentación
La descarga está en progreso. Por favor, espere
1
Computabilidad
2
Problemas (=Lenguajes)
L. Regulares
3
Problemas (=Lenguajes)
L. Regulares Autómatas Finitos (=MEF) Expresiones Regulares L. Regulares
4
Problemas (=Lenguajes)
L. Regulares Autómatas Finitos (=MEF) Expresiones Regulares L. Independientes del Contexto L. Regulares
5
Problemas (=Lenguajes)
L. Regulares Autómatas Finitos (=MEF) Expresiones Regulares L. Indep. Contexto Autómatas a Pila Gramáticas I.C. L. Independientes del Contexto L. Regulares
6
Problemas (=Lenguajes)
L. Recursivamente Enumerables L. Regulares Autómatas Finitos (=MEF) Expresiones Regulares L. Indep. Contexto Autómatas a Pila Gramáticas I.C. L. Independientes del Contexto L. Regulares
7
Problemas (=Lenguajes)
L. Recursivamente Enumerables 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. 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: INICIAL FINAL Estado
Lectura Qi Si Qj
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: INICIAL FINAL Estado
Lectura Acción Pila Qi Si Qj In/Out
19
Ejemplos: NO Indep. Contexto
Estructura IC: A y B comen peras y manzanas.
20
Ejemplos: NO Indep. Contexto
Estructura IC: A y B comen peras y manzanas.
21
Ejemplos: NO Indep. Contexto
Estructura IC: A y B comen peras y manzanas. Estructura NO IC: A y B comen peras y manzanas, respectivamente.
22
Ejemplos: NO Indep. Contexto
Estructura IC: A y B comen peras y manzanas. Estructura NO IC: A y B comen peras y manzanas, respectivamente.
23
Ejemplos: NO Indep. Contexto
Estructura IC: A y B comen peras y manzanas. 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 INICIAL FINAL Estado Lectura Qi Si Qj Sj D Escritura
Movimiento Qi Si Qj Sj D (izq ó der)
Presentaciones similares
