8th Annual Symposium on Switching and Automata Theory (SWAT 1967) (1967)
Oct. 18, 1967 to Oct. 20, 1967
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/FOCS.1967.20
In this paper we are concerned with the decomposition of synchronous sequential machines into interconnections of component machines. The term interconnection is taken literally; the input terminals of a component machine must be directly connected to either i) a logical constant, ii) an output terminal of a component machine, or iii) an external input line. A fundamental question regarding such decompositions is "Does there exist a finite set of component machines such that any given machine can be realized by an interconnection of copies of the component machines?" The answers to this and related questions comprise the scope of the paper.
P. Weiner and J. E. Hopcroft, "Modular decomposition of synchronous sequential machines," 8th Annual Symposium on Switching and Automata Theory (SWAT 1967)(FOCS), Texas, 1967, pp. 233-239.