1277.70 유한 상태 머신의 공정성 속성