도 8 을 참고 하 면 본 발명 에서 제안 하 는 하이브리드 티처 는 ( S , E , T ) 로 구성 된 관찰 테이블 을 생성 하 고 , 관찰 테이블 이 닫힌 경우 에 이 를 바탕 으로 유한 상태 기계 M ' 를 추론 하 는 과정 까지 는 동일 하 다 . 그 다음 으로 1 차 적 으로 RSO 방식 을 통해서 학습 자 가 추론 한 유한 상태 기계 M ' 를 검증 한다 . 만약 검증 결과 가 no 가 나온다면 , 다시 말 해서 반증 ( Counterexample ) 이 제시 되 면 다시 관찰 테이블 을 재 구성 하 는 단계 로 돌아간다 . 여기 까지 는 종래 의 RSO 방식 의 티처 와 동일 하 다 .