可计算性与停机问题
摘要：
可计算性可计算性理论明确了在理论上可计算的函数应具有的特征。那些定义在自然数集上的、理论上可计算的函数通常被称为部分递归函数。概念中强调“理论上可计算”，是因为某些可计算函数在实际计算中可能会耗费相当长的计算时间，可能在我们宇宙现存时间内都无法完成其计算。直观地说，如果存在一段程序来计算一个函数，那么这个函数就是可计算的。更明确地说，如果对于函数f: A -> B存在一个算法，以任意x∈A作为输入，都可以得到y = f(x)作为输出，则这个函数是可计算的。在20世纪30年代，普林斯顿大学的Alonzo Church提出了一个重要的原理，称为Church理论。Church理论是关于数学定义 阅读全文
posted @ 2012-03-05 22:24 lienhua34 阅读(5359) 评论(0) 推荐(0) 编辑
