1277.40 유한 상태 머신의 동형 사상