Generador de todas las Mt's(última tarea)

a)En principio nuestra idea para este apartado consistiría en colocar un generador canónico que se encargaría de ir sacando cadenas de 0's y 1's. Estas cadenas se le pasarían a una M1 tal que aceptaría las cadenas en caso de ser Mt's codificadas y que las rechazaría en caso de no ser Mt's codificadas. De esta forma las cadenas que fuesen Mt's se irían escribiendo en una cinta de salida. La idea sería algo parecido al siguiente dibujo:


b)Respecto apartado b, suponemos que es la segunda respuesta. Pensamos que es esa porque aunque generemos infinitas máquinas de turing siempre quedará una que aun no se ha generado.