Estimated distance calculator, estimated distance calculation method, estimated distance calculation program and automatic planer

摘要

The estimated distance calculator 10 is an estimated distance calculator that generates a second state element model that is another state element model based on the first state element model that is a state element model that is configured of a plurality of state elements. The state element includes a plurality of states and a state transition to which transition conditions between the plurality of states are given, and one of the state elements of the plurality of state elements and one of the plurality of state elements The generation unit 11 is configured to generate a second state element model including state elements from which transition conditions that satisfy predetermined conditions other than one state element have been removed.