1277.163 유한 상태 머신의 형식적 등가 관계 (Bisimulation)