Aa. Barkalov et Iy. Zeleneva, Optimization of replacement of logical conditions for an automaton with bidirectional transitions, AUTOM C C S, 34(5), 2000, pp. 48-53
Methods of reducing the number of parameters of a multiplexer in a two-leve
l circuit of a control device each transition of which depends on at most o
ne logical condition are considered. The methods are based on optimal encod
ing of states that reduce the number of control inputs in the multiplexer.
A method of selection and an example illustrating the use of the proposed m
ethods of optimization are considered.