On implementation of logical functions and automata by programs. I. Analysis and synthesis of binary-decision programs

The paper discusses implementation of logical functions and automata by programs consisting of branch statements only (binary-decision programs). Methods for analysis and synthesis of such programs are proposed.