1277.33 유한 상태 머신의 곱 구성