Generador de Codigos y respuesta

a) Para construir un generador de todos los codigos de Máquinas de Turing sintácticamente correctos bastaría con utilizar el generador canónico, el cual nos calcula todas las cadenas posibles mediantes la concatenación de 0 y 1´s, y luego bastaría con unirlo al Automata reconocedor de cadenas, el cual nos diria si una cadena pertenece o no a un cierto lenguaje.

b) La respuesta que hemos pensado que sería la correcta es la segunda, ya que mediante la máquina anterior podemos crear diferentes tipos de codigos mediante 1´s y 0´s para luego decir si pertenecen a un lenguaje, pero no llegariamos a calcular todos los lenguajes existentes, ya que siempre quedaría algun nuevo lenguaje por descubrir, es decir, salen infinitas maquinas pero no todas las existentes.