Expanded FSM