물론 RSO 방식 을 통해서 반증 을 찾 은 경우 에 는 실제 의 유한 상태 기계 M 과 추론 한 유한 상태 기계 M ' 가 서로 다르 다는 실제 의 예 에 해당 하 기 때문 에 RSO 방식 의 티처 를 통해서 반증 을 제공 받 은 경우 에 는 정확 성 을 논할 필요 가 없 다 . 즉 RSO 방식 의 티처 를 이용 해서 반증 을 찾 는 용도 로 는 정확도 의 문제 없이 유용 하 게 사용 할 수 있 으나 , " RSO 방식 의 티처 가 "" yes "" 로 판단 한 결과 는 정확 성 을 보장 할 수 없 다는 점 이 문제 가 된다 . "