DocumentCode
1115415
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
Issue
5
fYear
1974
fDate
5/1/1974 12:00:00 AM
Firstpage
524
Lastpage
528
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.;
fLanguage
English
Journal_Title
Computers, IEEE Transactions on
Publisher
ieee
ISSN
0018-9340
Type
jour
DOI
10.1109/T-C.1974.223974
Filename
1672567
Link To Document