The linearity of sequential machines: A critical review

This paper summarizes the presently-known solutions to the linearity problem. The paper includes not only linear assignment techniques which require the output to be linear, but also linear assignment techniques for the next-state behaviour. For this latter category, it has been shown that state splitting may be required, and the current results in this area are included.