이때 티처 는 어떻게 해서 학습 자 가 추론 한 유한 상태 기계 가 실제 의 유한 상태 기계 와 동일 한지 판단 할 수 있 을까 앞서 설명 한 동등 성 검정 을 티처 가 어떻게 수행 할 지 가 L * 알고리즘 의 특징 이 라고 볼 수 도 있 다 . L * 알고리즘 에서 사용 되 는 티처 의 모델 로 종래 에 는 크 게 MAT , RSO , M - Method 가 사용 되 었 다 .