1277.180 유한 상태 머신의 감독 제어 이론 (Supervisory Control Theory)