1277.35 유한 상태 머신의 교집합 구성