Universidad Técnica Federico Santa María Computabilidad y Complejidad Computacional

Departamento de Informática Primer semestre de 2023

Tarea 2

1. De los siguientes problemas, algunos son decidibles y otros no. Para cada uno determine cuál
es el caso y demuéstrelo.

(a) Dadas dos MT M1 y M2 , determinar acaso L(M1 ) ∩ L(M2 ) = ∅.

(b) Dada una MT M, determinar acaso M, partiendo con cinta vacía, repite en algún mo-
mento su estado interno.

(c) Dada una MT M, determinar acaso existe algún input w a partir del cual M se detiene
en algún momento.

2. [25 pt] Consideremos algunas extensiones de las MT que podrían aumentar su poder.

(a) Muestre que si permitimos que Q sea innito, entonces todo lenguaje es decidible.

(b) Muestre que si permitimos que las transiciones dependan de toda el área de trabajo (de
modo que δ : Q × Γ∗ → Q × Γ × {L, R}), entonces todo lenguaje es decidible.

(c) Muestre que si permitimos innitas cintas (de modo que δ : Q×Γ∞ → Q×(Γ×{L, R})∞ ),
entonces todo lenguaje es decidible.

(d) Se propone como punto intermedio permitir Q innito, pero descrito de manera nita.
Más precisamente: habrá un algoritmo (digamos, una MT estándar) que dados n∈N y
α ∈ Γ, calculará la función δ, entregando la transición (n0 , α0 , M ) que debemos ejecutar
(donde M ∈ {L, R}). Muestre que en ese caso no se mantiene el resultado de la parte
(a). ¾Cuál sería el poder de cómputo de este modelo?

(e) Explique por qué ninguna de las primeras tres opciones es físicamente viable. ¾Qué las
hace menos realistas que el modelo estándar, que mal que mal supone una cinta innita?

3. Muestre que un lenguaje L es reconocible ssi es existe una máquina que lo enumera y que
escribe innitas veces cada palabra de L.
4. Muestre que {hM i : ∃w M (w) = w} es indecidible pero reconocible.

5. Deduzca el siguiente teorema de punto jo, a partir del teorema de recursión:

Sea f : Σ ∗ → Σ∗ computable y total. Entonces existe una máquina de Turing M

que es equivalente a la máquina descrita por f (hM i).
6. Muestre que {(hM1 i, hM2 i) : L(M1 ) ⊆ L(M2 )} es Π2 -completo.

7. Ubique {hM i : |L(M )| = 1} en la jerarquía aritmética, lo mejor que pueda: dé alguna cota
inferior (demostrando que no está en algún peldaño bajo) y dé una cota superior (mostrando
que está contenido en algún peldaño, lo más bajo que encuentre).

15 puntos por pregunta.

La tarea es individual. Pueden discutirla con sus compañeros, pero deben redactar sus propias respuestas.

En caso de que alguna idea clave de su respuesta venga de compañeros, menciónelos (½no le restará puntos!).