更改

<math>{S}</math>表示当前因果态。

<math>{S}</math>表示当前因果态。

<math>{S}'</math>表示下一时刻因果态。

<math>{S}'</math>表示下一时刻因果态。

<math>\vec{S}^{1}</math>代表未来序列的第一个符号，所以因果态<math>{S}'</math>的第一个符号都是s。

<math>\vec{S}^{1}</math>代表未来序列的第一个符号，所以因果态<math>{S}'</math>的第一个符号都是<math>s</math>。

<math>s</math>是从可数集<math>\mathcal{A}</math>中取值的单个符号，表示过程在某一步产生的输出。

<math>s</math>是从可数集<math>\mathcal{A}</math>中取值的一个符号。

<math>{S}_{i}</math>和<math>{S}_{j}</math>分别表示第<math>i</math>个和第<math>j</math>个因果态，它们是对历史序列的一种划分。

<math>{S}_{i}</math>和<math>{S}_{j}</math>分别表示第<math>i</math>个和第<math>j</math>个因果态，它们是对历史序列的一种划分。

<math>T_{ij}^{(s)}</math>表示在当前因果态为<math>{S}_{i}</math>的条件下，下一个因果态变为<math>{S}_{j}</math>且过程产生的下一个符号为<math>s</math>的转移概率。

<math>T_{ij}^{(s)}</math>表示在当前因果态为<math>{S}_{i}</math>的条件下，下一个因果态变为<math>{S}_{j}</math>且过程产生的下一个符号为<math>s</math>的转移概率。