Grado de Ingeniería Informática Teoría de la Computación

Ejercicio 1

Escribir uno de los posibles códigos para la máquina de Turing de la siguiente figura.

Ejercicio 2

Demostrar que el problema de la parada, el conjunto de pares (M, w) tales que M se para (con
o sin aceptación) para una entrada w dada, es RE pero no recursivo.

Ejercicio 3

Demuestra que el conjunto de códigos de la máquina de Turing para máquinas que aceptan
todas las entradas que son palíndromos (posiblemente con algunas otras entradas) es decidible.