ESTIMATED DISTANCE CALCULATOR, ESTIMATED DISTANCE CALCULATION METHOD, ESTIMATED DISTANCE CALCULATION PROGRAM, AND AUTOMATIC PLANNER

摘要

The 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 conditions for transitions between the multiple states. The calculator comprises 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 conditions are removed.