상태 추론 오퍼레이션 ( 521 ) 은 도 3 a 내지 도 3 c 에서 살펴본 과정 을 통해 S 와 E 를 구성 하 고 , 이 를 바탕 으로 관찰 테이블 ( Observation Table ) 를 구성 한다 . 관찰 테이블 이 닫힌 상태 인 경우 , 관찰 테이블 에 기초 하 여 유한 상태 기계 M ' 를 추론 한다 . 추론 한 유한 상태 기계 M ' 는 시스템 버스 ( 550 ) 를 통해 스토리지 ( 560 ) 의 유한 상태 기계 ( 565 ) 저장 한다 .