Transition submatrices in regular homing experiments and identification of sequential machines of known class using direct-sum transition matrices (Q580161)

In connection with the measurement and control of synchronous sequential machines \textit{S. R. Das}, \textit{C. L. Sheng}, \textit{Z. Chen} and \textit{W. J. Hsu} [Inform. Sci. 18, 47-65 (1979; Zbl 0443.68040)] recently proposed an approach to the solution of the problems using the transition matrix representation of the machine and its higher-order forms. In the present paper, by extending the transition matrix approach of the paper cited above, an approach based on transition submatrix is developed to solve the regular homing problem in synchronous sequential machines. In addition, the problem of identifying a machine of a known class is also considered. Since the proposed transition submatrix approach can simplify the matrix computations, and can reduce the amount of storage required by significantly reducing both the dimension and the order of the matrix being used, it not only retains all the advantages of the former approach, but it lends itself to even easier computer implementations as well.