1277.39 유한 상태 머신의 클리니 폐포 구성