하이브리드 티처 를 이용 한 유한 상태 기계 추론 방법 이 개시 된다 . 본 발명 의 일 실시 예 에 따른 하이브리드 티처 를 이용 한 유한 상태 기계 추론 방법 은 유한 상태 기계 추론 장치 가 , 상태 의 집합 S 와 상기 집합 S 에 속한 각 상태 를 구분 하 기 위한 입력 의 집합 E 및 상기 집합 S 의 원소 와 상기 집합 E 의 원소 의 결합 으로 만들 어 진 입력 에 대한 실제 의 유한 상태 기계 M 의 응답 인 출력 의 집합 T 에 기초 하 여 유한 상태 기계 M ' 를 추론 하 는 단계 ; 상기 유한 상태 기계 추론 장치 가 , RSO ( Random Sampling Oracle ) 티처 를 이용 하 여 상기 실제 의 유한 상태 기계 M 과 상기 추론 한 유한 상태 기계 M ' 의 제 1 동등 성 검정 ( Equivalence Test ) 을 수행 하 는 단계 ; 및 상기 유한 상태 기계 추론 장치 가 , 상기 제 1 동등 성 검정 의 결과 상기 M 과 상기 M ' 가 동일 한 것 으로 판단 된 경우 에 , W - Method 티처 를 이용 하 여 상기 M 과 상기 M ' 의 제 2 동등 성 검정 을 수행 하 고 , 상기 제 2 동등 성 검정 의 결과 상기 M 과 상기 M ' 가 동일 한 것 으로 판단 된 경우 에 , 상기 추론 한 유한 상태 기계 M ' 가 상기 실제 의 유한 상태 기계 M 과 동일 한 것 으로 최종 판단 하 는 단계 를 포함 할 수 있 다 .