当前位置:考满分吧中小学教学初中学习网数理化百科数学知识数学小百科---概率自动机论» 正文

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

[10-20 00:28:06]   来源:http://www.kmf8.com  数学知识   阅读:8244
概要: 。在概率图灵机的研究中,对可计算随机函数,给出了定义并对可计算函数及其运算也都作了研究,而且还证明了图灵机的许多研究结果在概率图灵机的情况下仍然成立。函数代入、原始递归、求极小等运算对可计算随机函数都是封闭的。限制在普通函数类的范围内,可以证明部分可计算随机函数中的普通函数,恰好是部分递归函数。从这个意义上看,把图灵机推广到概率图灵机的计算能力没有增大。也可以通过别的刻划方法,使概率图灵机所刻划的普通函数类,以部分递归函数类作为其真子类。在相对可计算性方面也有类似的结果。概率时序机 它是时序机(见有限自动机论)的推广。其形式定义可以用五元组=(,,,,)给出,其中,,,仍如前所述,是条件概率(;|;)上一页 [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] 下一页
数学小百科---概率自动机论,标签:数学知识大全,http://www.kmf8.com

\

在概率图灵机的研究中,对可计算随机函数,给出了定义并对可计算函数及其运算也都作了研究,而且还证明了图灵机的许多研究结果在概率图灵机的情况下仍然成立。函数代入、原始递归、求极小等运算对可计算随机函数都是封闭的。限制在普通函数类的范围内,可以证明部分可计算随机函数中的普通函数,恰好是部分递归函数。从这个意义上看,把图灵机推广到概率图灵机的计算能力没有增大。也可以通过别的刻划方法,使概率图灵机所刻划的普通函数类,以部分递归函数类作为其真子类。在相对可计算性方面也有类似的结果。

概率时序机  它是时序机(见有限自动机论)的推广。其形式定义可以用五元组

\

=(

\

\

\

\

\

)给出,其中

\

\

\

\

仍如前所述,

\

是条件概率

\

(

\

;

\

\

|

\

;

\

)

\

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


Tag:数学知识数学知识大全初中学习网 - 数理化百科 - 数学知识
上一篇:关于电磁场基本定理的数学小百科