Abstract:
The paper is concerned with quadratic optimization of a binary linear sequential machine. A rounded-off solution to the auxiliary continuous problem is shown to be the optimal integer one. The algorithm for formation of input tests and a procedure for conversion of a random input sequence into tests are described.