Abstract :
This correspondence provides theorems for the existence of a nontrivial closed parition on the state set of a sequential machine and offers an efficient and systematic method for generating all such partitions. The method is based on the concept of the implication or closure dependence relation among some subsets of the state set.
Keywords :
Chain-operated class, closure class, closure dependence relation, implied block, quasi-closed set, state machine.; Argon; Chaos; Upper bound; Chain-operated class, closure class, closure dependence relation, implied block, quasi-closed set, state machine.;
