1277.34 유한 상태 머신의 합집합 구성