3,094
个编辑
更改
→可达、互通与可约性
'''定义（可达关系）'''：
'''定义（可达关系）'''：
<math>\exists n\geq 0,\ \ P_{ij}(n)>0</math>，则称状态<math>i</math>可达状态<math>j</math>，记为<math>i\to j</math>。
<math>\exists n\geq 0,\ \ P_{ij}(n)>0</math>，则称状态<math>i</math>可达状态<math>j</math>，记为<math>i\to j</math>。
易知，'''可达是传递关系'''，即
易知，'''可达是传递关系'''，即