1277.1 유한 상태 머신의 역사적 배경