×

zbMATH — the first resource for mathematics

Program realization of logical functions and automata. I: (Analysis and synthesis of binary programs). (English. Russian original) Zbl 0416.68046
Autom. Remote Control 38, 1077-1087 (1977); translation from Avtom. Telemekh. 1977, No. 7, 163-174 (1977).

MSC:
68Q99 Theory of computing
68W99 Algorithms in computer science
68Q45 Formal languages and automata
94C10 Switching theory, application of Boolean algebra; Boolean functions (MSC2010)
68N99 Theory of software
PDF BibTeX XML Cite