En el tercer autómata finito no están las salidas en 0 y en 1 desde los estados q_0 y q_1 respectivamente.
Yo supongo que deberían tener un loop sobre si mismos en ambos casos para que la respuesta sea sencilla, pero alguien lo analizó con otra situación?