1964 Proceedings of the Fifth Annual Symposium on Switching Circuit Theory and Logical Design (1964)
Nov. 11, 1964 to Nov. 13, 1964
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SWCT.1964.20
This paper presents a method for determining, from the flow table of a sequential machine, whether the machine is linearly realizable using the minimum number of unit delay elements. The method is an extension of a previously presented method for autonomous machines. A linearity algorithm is presented for each of two cases: a) where the output is given and is to be linear, and b) where the output is either not given or may be nonlinear. The method is simple, straight-forward and in general provides a ready solution to the linearity problem.
W. A. Davis and J. A. Brzozowski, "On the linearity of sequential machines," 1964 Proceedings of the Fifth Annual Symposium on Switching Circuit Theory and Logical Design(FOCS), vol. 00, no. , pp. 197-208, 1964.