Title :
Linearity Testing and Realization of Sequential Machines
Author :
Gupta, A. Sen ; Chattopadhyay, D.K. ; Choudhury, A.K.
Author_Institution :
Centre of Advanced Study in Radio Physics and Electronics, University of Calcutta
fDate :
5/1/1974 12:00:00 AM
Abstract :
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.
Keywords :
Characterizing matrices, linear and nonlinear output function, linearly realizable machine, null state, sequential machine.; Computer Society; Inspection; Linearity; Physics; Sequential analysis; Sufficient conditions; System testing; Vectors; Characterizing matrices, linear and nonlinear output function, linearly realizable machine, null state, sequential machine.;
Journal_Title :
Computers, IEEE Transactions on
DOI :
10.1109/T-C.1974.223974
