퍼지 논리함수의 차분을 이용한 유한 오토마타의 상태 해석