W - Method 방식 의 복잡도 와 Z 셋 에 대한 설명 은 도 6 b 에서 확인 할 수 있 다 . 이 처럼 W - Method 방식 의 티처 는 실제 의 유한 상태 기계 가 가질 수 있 는 상태 가 최대 m 개 라고 전제 하 는 경우 해당 전제 안 에서 는 정확 성 을 보장 하 지만 , m 이 커질수록 테스트 셋 Z 가 많 아 지 게 된다 . 즉 테스트 할 쿼리 가 많 아 지 게 된다 . 또한 학습 자 가 추론 한 유한 상태 기계 M ' 의 상태 의 개수 n 이 많 아 질수록 테스트 할 쿼리 의 수 가 많 아 지 게 된다 .