Lenguajes Decidibles

10
LENGUAJES DECIDIBLES Teoría de la Computación

Transcript of Lenguajes Decidibles

Page 1: Lenguajes Decidibles

LENGUAJES DECIDIBLES

Teoría de la Computación

Page 2: Lenguajes Decidibles

¿Qué son ?

Es aquel formulado por una pregunta (referida a alguna propiedad) que requiere una respuesta de tipo si/no.

Page 3: Lenguajes Decidibles

Tipos:

Soluble: si existe un algoritmo total para determinar si la propiedad es verdadera (Existe una MT que siempre para al resolver el problema)

Parcialmente soluble: si existe un algoritmo parcial para determinar si la propiedad es verdadera (existe una MT que resuelve el problema, pero puede no parar).

Insoluble: si no existe un procedimiento efectivo para determinar si la propiedad es verdadera (no existe una MT)

Page 4: Lenguajes Decidibles

Ejemplos

¿Existe un algoritmo para decidir si un número natural cualquiera es par?

Es soluble.

¿Existe un algoritmo para determinar el número exacto de un clientes en un centro comercial?

Es parcialmente soluble.

Un peluquero afeita a todas las personas que no se afeitan a sí mismas. El peluquero: ¿se afeita así mismo?

Es insoluble.

Page 5: Lenguajes Decidibles

Problemas Decidibles

Ejemplos de problemas de decisión expresados como lenguajes:

Las palabras sobre el alfabeto {a,b} que contienen alternadas las letras a y b

Las palabras sobre el alfabeto {a,b,c} que contienen igual número de letras a y b.

Page 6: Lenguajes Decidibles

Lenguaje

Page 7: Lenguajes Decidibles

Lenguajes

Decidible: aquel para el cual existe una máquina de turing que pueda aceptar cualquier cadena w pertenece a L y rechazar cualquier cadena w que no pertenece a L

Aceptable: aquel para el cual no existe ninguna máquina de turing que pueda aceptar cualquier cadena

Page 8: Lenguajes Decidibles

Lenguajes

Lenguajes Recursivamente enumerable: son aceptados por una maquina de Turing que siempre para al aceptar la cadena o rechazar la cadena por no estar en un estado de aceptación o ciclarse, también se les conoce como lenguajes parcialmente decidible o Turing decidible

Page 9: Lenguajes Decidibles
Page 10: Lenguajes Decidibles

Problemas

Resolubles

Tratables

Intratables

No resolubl

es