+ FSM without actions