1277.37 유한 상태 머신의 여집합 구성