1277.69 유한 상태 머신의 활동성 속성 검증