유한 상태 기계 가 있 을 때 , 해당 유한 상태 기계 에 가한 입력 값 과 그 때 의 결과 인 출력 값 으로부터 해당 유한 상태 기계 의 상태 의 집합 , 초기 상태 , 전이 함수 및 출력 함수 등 을 판단 하 는 과정 을 유한 상태 기계 의 추론 ( Inference ) 이 라고 한다 . 유한 상태 기계 의 추론 은 중요 한 소프트웨어 엔지니어링 문제 중 하나 이 다 .