EFSM [enhanced finite-state machine] конечный автомат с расширенной логикой Полный англо-русский словарь