UFSM: Finite State Machine

I see, thank you for explanation