다음 으로 SI 의 결과 값 ( 1 , 1 ) , ( 1 , 1 ) , ( 2 , 2 ) 를 확인 하 면 모두 S 의 결과 값 에 포함 되 는 것 을 볼 수 있 다 . 이 를 근거 로 관찰 테이블 을 확정 하 고 , 유한 상태 기계 를 추론 한다 . 도 3 a 의 중단 에 있 는 관찰 테이블 에 는 상태 가 S = { ε , 2 } 이 므로 총 2 개 의 상태 를 가지 는 유한 상태 기계 M ' 가 된다 .