1277.89 유한 상태 머신의 대수적 표현