도 5 a 의 RSO 는 Random Sampling Oracle 의 약자 로 쿼리 를 임의 로 선택 하 고 , 일정 수 의 쿼리 ( r ) 에 대해 학습 자 가 추론 한 유한 상태 기계 M 과 실제 의 유한 상태 기계 M ' 의 응답 을 비교 하 여 , 두 결과 가 동일 하 면 학습 자 가 추론 한 유한 상태 기계 가 맞 다고 판단 하 고 yes "" 를 동등 성 검정 에 대한 응답 으로 보낸다 . "