1277.2 유한 상태 머신의 정의와 기본 개념