Extended_finite-state_machine