3,094
个编辑
更改
跳到导航
跳到搜索
第79行：
第79行： − +
→因果态
=====因果态=====
=====因果态=====
所谓的'''因果态'''，是指由预测等价关系诱导的对状态空间的一种划分，即状态集与等价关系的商集：[math]\mathcal{S}=\stackrel{\leftarrow}{s}/~[/math]
所谓的'''因果态'''，是指由预测等价关系诱导的对状态空间的一种划分，即状态集与等价关系的商集：[math]\mathcal{S}=\stackrel{\leftarrow}{s}/\sim[/math]
其中<math>\mathcal{S}</math>为因果态划分。
其中<math>\mathcal{S}</math>为因果态划分。