1280.4 계층적 상태 머신의 형식적 정의