1277.100 확장 유한 상태 머신 (EFSM)의 정의