1277.41 Mealy 머신의 정의와 형식적 모델