有限马可夫过程的结构属性

    
找到通信类，通过不同颜色在图中突出显示：
检查不可约性，即意味着只有一个通信类：
查找不能退出的循环类：
查找可以退出的瞬态类：
查找只有单个状态循环类的吸收类：