5,443
个编辑
更改
小第47行：
第47行： − +
→状态分类
称状态<math>i</math>可达状态<math>j</math>：若<math>\exists n\geq 0,\ \ p_{ij}>(n)0.</math>，记为<math>i\to j.</math>易知，可达是传递关系，即
称状态<math>i</math>可达状态<math>j</math>：若<math>\exists n\geq 0,\ \ p_{ij}>(n)0.</math>，记为<math>i\to j</math>。易知，可达是传递关系，即
<math>i\to j,\ j\to k\Longrightarrow i\to k.</math>
<math>i\to j,\ j\to k\Longrightarrow i\to k.</math>