1277.36 유한 상태 머신의 차집합 구성