RSO 오퍼레이션 ( 523 ) 과 수정 W - Method 오퍼레이션 ( 525 ) 는 L * 알고리즘 의 하이브리드 티처 에 해당 한다 . RSO 오퍼레이션 ( 523 ) 은 정확 도 α 와 신뢰도 γ 를 기준 으로 랜덤 하 게 쿼리 를 생성 하 고 동등 성 검정 을 수행 한다 . 즉 테스트 쿼리 에 대해 실제 유한 상태 기계 M 의 응답 과 추론 한 유한 상태 기계 M ' 의 응답 이 동일 한지 검증 한다 .