更改

=====因果态=====

=====因果态=====

所谓的'''因果态'''，是指由预测等价关系诱导的对状态空间的一种划分，即状态集与等价关系的商集：[math]\mathcal{S}=\stackrel{\leftarrow}{s}/~[/math]

所谓的'''因果态'''，是指由预测等价关系诱导的对状态空间的一种划分，即状态集与等价关系的商集：[math]\mathcal{S}=\stackrel{\leftarrow}{s}/\sim[/math]

其中<math>\mathcal{S}</math>为因果态划分。

其中<math>\mathcal{S}</math>为因果态划分。