Para construir un generador de todos los codigos necesitamos un generador canonico del alfabeto {0,1,B} y un automata reconocedor de MT´s que sabemos que existe ya que lo hemos dado en clase.
Para empezar el generador ira sacando cadenas w que le pasaremos al reconocedor de MT´s que nos dira si la cadena pertence a una MT(como hemos visto en clase las maquinas de Turing se pueden codificar mediante 0,s y 1,s).
Las cadenas w pueden ser por ejemplo {0},{1010},{00010}...
El problema es que aunque podamos saber el codigo de infinitas MT´s siempre habra mas maquinas de Turing por tanto nunca tendremos suficientes codigos para todas las maquinas.
b)Pues creemos que como se ha demostrado en el primer apartado nunca podremos conseguir suficientes maquinas porque siempre podremos tener una cadena mas y por tanto siempre necesitamos mas maquinas.Asique nosotros nos decidimos por la respuesta 2 (La de que no tiene bastantes maquinas)
Por lo tanto no podremos resolver todos los problemas siempre habra alguno que no se pueda.
