Hace mucho tiempo me encontré con un FSM interesante en el que el siguiente estado era una función del estado actual y el estado anterior, junto con los valores de entrada actuales. Aquí el estado anterior no es el estado del ciclo del reloj anterior, sino el estado que tuvo FSM antes de ingresar al estado actual.
¿Hay un nombre especial para un FSM donde el siguiente estado es función del estado actual, entradas actuales Y también el estado anterior?