数学小百科－－-概率自动机论

，并且对于每一个正整数

[295-01]

对所有的[295-02]

都成立，就称状态

和

是等价的。等价状态产生相同的“输入-输出关系”。研究状态等价的充分必要条件，是概率时序机理论的研究内容之一。

如同在非概率时序机情况，多余的等价状态可以被消除，从而得到一个化简了的时序机。对于概率时序机，它的化简了的形式不是唯一的，这一点和确定的时序机的情况有所不同。对于一个给定的概率时序机，可以找到一个寻求它的所有化简形式的计算方法。

概率有限识别器  只有输入没有输出的有限识别器的推广。它的形式定义可以用

=(

，

，

，

，

)给出。其中

[kg2]

和

仍表示输入字母表和状态集合，

是初始分布，[295-03]

是规定的终止状态集合。

(

上一页  [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11]  下一页