The state diagram shows possibility to move back from state 2 to state 1. Do you really want it? If you imagine a key press and the procedure to process it, then you will see that the system stays in state 1 until key press detection and moves to state 2 where the press debounce is processed. During the debounce time we don't want to react to key bouncing signals because it makes whole debouncing process meaningless.Updated state machine with correct name.