ON THE CONSTRUCTION OF THE LATTICE OF SP PARTITIONS.
MICHIGAN UNIV ANN ARBOR SYSTEMS ENGINEERING LAB
Pagination or Media Count:
The report presents a method for constructing the lattice of SP partitions for any given finite-state machine via a state-pair graph constructed directly from the machines transition function and a homomorphism which reduces a set of subgraphs to the full SP partition lattice for the machine. The method is a graphical extension of the two-state generator procedure of Hartmanis and Stearns.