Bounded fan-in, bounded fan-out uniform decompositions of synchronous sequential machines

A general decomposition scheme is described which allows the realization of a given synchronous sequential machine as an interconnection of identical two-state modules. The bound on the fan-in and fan-out of each module is independent of the number of states in the given machine.