On the Problem of Finding d, t, r, and j Type Partition Pairs of a Sequential Machine

Philokyprou, G. ; Halatsis, Constantin ; Gaitanis, N. (1977-03)


This correspondence presents a new unified approach for defining and finding the various types of partition pairs ("d", "t","r","j") of a sequential machine. The notion of separation (distinguishability) of states is the key factor of the new approach. By this and the notion of transition sets one can easily find all maximal partitions τ which are in "d","t","r", and "j" relation with a given partition ρ.