도 1 에 대한 설명 에 앞서 본 발명 에서 제안 하 는 유한 상태 기계 추론 방법 은 일반 적 으로 도 사용 이 가능 하 나 , 네트워크 프로토콜 구현 을 위한 유한 상태 기계 를 추론 하 는 과정 에 보다 유용 하 게 사용 할 수 있 다 . 특히 종래 의 Angluin 의 L * 알고리즘 이 무어 머신 ( Moore Machine ) 을 추론 하 는 방법 인데 비해 , 본 발명 의 개량 된 L * 알고리즘 은 밀리 머신 ( Mealy Machine ) 을 추론 하 는데 보다 유용 할 수 있 다 . 이 는 밀리 머신 이 네트워크 프로토콜 을 표현 하 는데 보다 적합 하 기 때문 이 다 .