更改

===弱成块性 Weak Lumpability===

===弱成块性 Weak Lumpability===

弱成块性（weak lumpability）<ref name=":3" />是指简化过程仅对某些初始状态满足，而不是对所有初始状态都满足。

弱成块性（weak lumpability）<ref name=":3" />是指简化过程仅对某些初始状态满足成块性，而不是对所有初始状态都满足。

例如，某个状态<math>s_i</math>到<math>s_j</math>不联通，而简化过程适用于<math>s_i</math>但不适用于<math>s_j</math>。所以，当初始状态为<math>s_i</math>时，由于永远不会到达<math>s_j</math>，简化过程会一直适用。

例如，我们有一个简化过程，从<math>s_i</math>出发时能满足成块性，但从<math>s_j</math>出发时不满足。当<math>p_{s_i \rightarrow s_j} = 0</math>，且初始状态为<math>s_i</math>时，由于永远不会到达<math>s_j</math>，简化过程会一直满足成块性。

简单的例子：

简单的例子：