Topic: Classification of States

Closed Sets and Closed Communicating Classes

Closed Classes in Chains with Multiple Components

Characterizing Closed Classes by Outgoing Edges

Boolean Reachability From a Transition Matrix

Accessibility Through Finite Paths

Accessibility Is Not Communication