Application of the principal partition and principal lattice of partitions of a graph to the problem of decomposition of a finite state machine.