更改

对于[math]\forall i, j, \forall s_k, s_m \in A_i[/math]都成立。

对于[math]\forall i, j, \forall s_k, s_m \in A_i[/math]都成立。

根据{{EquationNote|2}}式的定义，也就是说，<math>A_i</math>里的每一个状态<math>s_k</math>转移到<math>A_j</math>中的所有状态的转移概率之和是相同的，即：

根据式子{{EquationNote|2}}的定义，也就是说，<math>A_i</math>里的每一个状态<math>s_k</math>转移到<math>A_j</math>中的所有状态的转移概率之和是相同的，即：

<math>

<math>