1277.101 확장 유한 상태 머신의 변수와 가드 조건