概率自动机简介

我在哪里可以找到介绍概率自动机和他们认识到什么（某些职能从文字到）？对于概率确定性自动机（DFA）所识别的“规则语言”，是否存在概率自动机可识别的此类功能的标准术语？$[0,1]$

我正在寻找一种方法，类似于研究DFA和常规语言的基本问题，例如表达性，闭包性和可判定性。

这个和这个似乎并不是我想要的。

Rabin（1963）的第一篇论文给出了所需的基本知识。概率自动机（带有切点）识别的语言类别称为随机语言。

让是对字母定义的概率自动Σ和˚F P（瓦特）是的接受概率P对输入瓦特＆Element; Σ *。然后，P与分割点λ ＆Element; [ 0 ，1 ）定义了下列语言：$P$$\Sigma$$f_P(w)$$P$$w \in \Sigma^*$$P$$\lambda \in [0,1)$

。$L(P,\lambda) = \{ w \in \Sigma^* \mid f_P(w) > \lambda \}$

请注意，可以将具有切点的识别视为具有无限误差的识别。在出现有限错误（或孤立的切点）的情况下，概率自动机可以识别所有唯一的常规语言。

Paz（1971）的书和Bukharaev（1980）的调查是很好的参考。

您还可以查看有关量子自动机的最新调查，在其中可以跟踪关于概率自动机的一些参考。