Abstract FSM