概率自动机论(probabilisticautomatatheory)自动机论的次级学科，主要研究所处环境或内部具有(有限或无限的)随机因素的自动机。与非概率型自动机不同之处，是概率自动机的动作是随机的。为了给定概率自动机，首先必需规定在自动机处于某一状态，并向自动机输入某个字母的条件下，自动机下一动作(如状态转移，输出某个字母，改写字母等)的条件概率函数。早在40年代末，C.E.仙农在信息论的研究中，就提出了噪声信道的数学模型(见图[噪声信道])，它实际上就是一种概率自动机。50年代初，J.诺伊曼研究用不可靠元件构造可靠机器，这个问题发展成为现代的容错计算问题。但是直到50年代末，在R.W.