Buenas,
Esta es una duda que me surgió haciendo el segundo parcial del 2015 pero como es conceptual sobre maquinas de Turing, decidí enviarla por por acá
El lenguaje y su maquina de Turing son estos:
Por la forma en la que funciona la maquina, nunca va a entrar en la transición que agregue (rojo) por lo que podría sacarse y la maquina funcionaria perfectamente. Mi pregunta es entonces ¿Este tipo de transiciones "innecesarias" son consideradas incorrectas? No suman nada, pero tampoco restan.
Veo un caso similar a cuando piden hacer una gramática y no especifican si esta debe de ser simplificada o no. Cosas como las producciones épsilon o las unitarias, están de sobra pero tampoco es que este mal ponerlas.
Muchas gracias