Chapter 1277. 유한 상태 머신 이론과 형식 모델 (FSM Theory and Formal Models)