1277.90 반군 (Semigroup)과 유한 상태 머신