1277.61 시간 제약 유한 상태 머신의 클록과 가드 조건