" 즉 티처 가 "" yes "" 라고 답 을 했어도 추론 한 유한 상태 기계 M ' 와 실제 의 유한 상태 기계 M 이 동등 하 지 않 을 가능 성 이 있 다 . 다시 말 해서 RSO 방식 의 티처 는 적 은 수 의 쿼리 로 도 판단 을 할 수 있 으나 "," "" yes "" 로 판단 한 경우 판단 결과 의 정확 성 을 보장 할 수 없 다는 단점 이 있 다 . "