1277.85 유한 상태 머신의 합성 방법론