An application of dynamic programming to problems arising in the synthesis of logical systems. In a number of fields a system in one state must be optimally converted into another state (e.g., in mathematical economics, in the theory of control proce...
