1277.43 Moore 머신의 정의와 형식적 모델