Editando C10 - Finite State Machine (sección)

=== Programación controlador FSM ===
El controlador de la máquina de estados finita es le encargado de leer las entradas, escribir las salidas y cambiar entre los diferentes estados.<br>
Este controlador se programa en el main y se sigue este esquema:
*Escribo el output
*Espero
*Leo input
*Cambio de estado según el input y el estado en el que estoy
<br>
Nota:<br>
No entiendo porqué no se hace así:
*Leo input
*Cambio estado según input y estado actual
*Escribo output
*Espero
<br>
El código de este ejemplo quedaria:<br>

 unsigend char cState;
 void main(void){
   unsigned char input;
   
   //Inicializar puertos
   //Inicializar SysTick para función delay
   
   cState = Even;
   while(1){
    GPIO_PORT... = Fsm[cState].out;    //Escribimos el output del estado actual
    delay();                                          //Esperamos
    input = GPIO_PORT...;                   //Leemos input
    cState = Fsm[cState].next[input];  //Cambiamos de estado según el input. Si el input
                                       //es 0 vamos al estado Even y si el input es 1 vamos al estado Odd
                                       //y también según el estado en el que estamos (la variable 
                                       //cState es la que nos indica en que estado estamos)
   }
 }