1277.169 유한 상태 머신의 정제 (Refinement) 관계