FSM2-2 ASM-Example