" 도 4 의 MAT 는 Minimally Adequate Teacher 의 약자 로 티처 가 이미 추론 하 고자 하 는 유한 상태 기계 ( SUT ; System Under Test ) 를 알 고 있 는 경우 를 말 한다 . 이미 실제 의 유한 상태 기계 를 알 고 있 기 때문 에 도 4 에서 볼 수 있 듯이 MAT 는 SUT 로 질의 를 보내 지 않 고서 도 학습 자 ( Learner ) 가 자신 이 추론 한 유한 상태 기계 ( FSM ) 이 맞 는지 에 대한 물음 에 "" yes "" 또는 반증 ( Counterexample ) 을 제공 할 수 있 다 . "