Synthesis of Multiple Sequential Machines Having Different Inputs

This note deals with the multiple realization of synchronous sequential machines for which the initial states are given. The results given by Smith and Kohavi, who have studied the problem for machines fed by the same input, are generalized to the case of machines having the same clock but different inputs. For these machines, a maximum common factor is defined, and it is shown how, if it exists, it can be obtained. The problem of internal state or input state splitting for machines that do not have a maximum factor and that are incomplete is not faced.