juanreutter
commented
2 years ago No necesariamente vas a poder hacerlo editando estados finales. Pero armar una maquina M' que sea igual que una maquina M y ademas acepte un conjunto de palabras que tu quieras, es algo computable. Primero, para cada conjunto S de palabras (finito) existe una maquina de turing que acepta solo las palabras de S. Luego alterar M para armar M' tal que L(M') sea L(M) union S, se hace tomando la union de M y la maquina para S. Algo hemos discutido en clases, pero armar laawuina de la union de dos maquinas es computable.
Hola, me preguntaba si la acción de editar los estados finales de una maquina de tal que forma que esta acepte algunos inputs en particular es computable? Entiendo que algo como "hacer todos los estados estados finales" lo es pero en este otro caso se requiere algo más de procesamiento que me imagino que sería posible solo por un humano.