Study of Modular Synthesis of Sequential Machines

摘要

The problem of synthesizing sequential machines with modules with a single input is considered. It is shown that there is a one-to-one correspondence between modules and certain partitions of the set of states of the machine. These partitions are called modular partitions and it is shown that the modular partitions of a given machine are related to a structure of the machine induced from the null partition. Necessary conditions for the existence of modular partitions of various types and bounds on the number of modular partitions for a given machine are derived. These results aid the designer in the synthesis of a given machine and provide basic results for further studies of modular synthesis. (Author)