도 2 a 내지 도 3 c 에서 설명 한 Angluin 의 L * 알고리즘 을 통해서 , 유한 상태 기계 의 상태 에 대해서 알 지 못하 더라도 , 복수 개 의 질의 를 통해서 관찰 테이블 을 완성 하 고 유한 상태 기계 를 추론 할 수 있 다 . 이때 , 추론 한 유한 상태 기계 M ' 가 실제 의 유한 상태 기계 M 과 동일 한지 에 대해서 티처 가 응답 을 한다 .