Closed communicating class
= Closed communicating class
A communicating class is closed when no transition from it can reach a state outside it.
= Closed communicating class
A communicating class is closed when no transition from it can reach a state outside it.