hola:
el algoritmo visto en el curso parte de la base que a) el autómata es completo (no se definió otro estilo de AFD, aunque se usa por "simplificación de notación" los autómatas con función de transición parcial) y b) todos los estados son alcanzables desde el estado inicial (en tu ejemplo, q1 no lo es).
si querés quitar esas restricciones, tendrías que agregar pasos previos que garanticen que esas condiciones se cumplen.
saludos,
d.-