label FSM