Abstract :
A theorem, which characterizes two-block partitions that lead to the formation of shift register, is presented. It can be used to simplify existing approaches to realize sequential machines with shift registers. Furthermore, this register-forming characteristic can be treated as a contributing element in selecting a secondary assignment for the implementation of sequential circuits.