An estimated distance calculator 10 generates, on the basis of a first state element model comprising multiple state elements, a second state element model which is another state element model, wherein the state elements include multiple states and state transitions assigned with transition conditions between the multiple states. The calculator includes a generation unit 11 which generates the second state element model in such a manner as to comprise any one state element among the multiple state elements and state elements other than the one state element which are selected from among the multiple state elements after transition conditions satisfying predetermined condition are removed.
展开▼
