Searching for partially ordered structures

General methods are developed to search for minimal and dead-end payoff operators for a class of sources endowed with a partial order structure. It is shown that the results can be used in the design of experiments with automata and in the minimization of Boolean functions.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 44, No. 2, pp. 253–260, February, 1992.