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, J. A. Brzozowski, "On the linearity of sequential machines", FOCS, 1964, 2013 IEEE 54th Annual Symposium on Foundations of Computer Science, 2013 IEEE 54th Annual Symposium on Foundations of Computer Science 1964, pp. 197-208, doi:10.1109/SWCT.1964.20