Buenas, es correcto justificar la respuesta de la pregunta utilizando el autómata construido en la parte anterior? Estoy de acuerdo con que en ese autómata particular no se puede comenzar a procesar desde la cinta derecha. Sin embargo, no me doy cuenta como se puede afirmar que no existe ningún autómata que cumpla lo que piden, ya que en realidad la pregunta habla de "un AFD" y no del construido en la parte (a).
Saludos.
hola:
la solución refiere al autómata de dos cintas que se construyó en la parte (b), y no a la máquina de mealy de la parte (a).
para justificar la respuesta --que en realidad no precisa de la parte b--, basta con ver que hay pares que deben ser aceptados, cuya segunda componente es la tira vacía pero su primera no lo es. este tipo de pares, si se comienza a leer por la segunda cinta, no permiten cambiar de estado (porque no hay letra para ejecutar la transición) con lo que no van a poder consumir la primera componente (condición necesaria para aceptar el par).
en la solución lo muestran con un caso concreto, el par (a, épsilon)
saludos,
d.-
Bien. Gracias!