En nuestro curso de conceptos de lenguaje de programación, nuestro instructor afirmó que está bien que un estado final conduzca a otro estado en un diagrama de estado finito.
Pero esto parece ser un concepto fundamentalmente contradictorio. Debido a que un estado final por definición es uno que termina las transiciones, es decir, que una vez que lo alcanza, no queda nada más que hacer.
Y, sin embargo, presentó una diapositiva como esta, donde los estados finales están representados por dos círculos ... ¿Cómo es posible que B, D, E y H sean estados finales cuando claramente no lo son?