Issue No.05 - May (1974 vol.23)
A.S. Gupta , Centre of Advanced Study in Radio Physics and Electronics, University of Calcutta
The necessary and sufficient conditions for the linear realizability of a sequential machine are stated. The discussion considers the state transition and output functions separately and thus machines with nonlinear output function can also be tested for linearity of the state transition function. It then goes on to determine the characterizing matrices and corresponding secondary state assignment when such realization exists. The method can be applied to both permutation and nonpermutation machines.
Characterizing matrices, linear and nonlinear output function, linearly realizable machine, null state, sequential machine.
A.S. Gupta, D.K. Chattopadhyay, A.K. Choudhury, "Linearity Testing and Realization of Sequential Machines", IEEE Transactions on Computers, vol.23, no. 5, pp. 524-528, May 1974, doi:10.1109/T-C.1974.223974