计算机理论模型与计算模式发展

计算机理论模型发展

可计算问题

设函数f的定义域是D，值域是R，如果存在一种算法，对D中任意给定的x，都能计算出f（x）的值，则称函数f是可计算的。 为计算建立一个数学模型称为计算模型，然后证明，凡是这个计算模型能够完成的任务，就是可计算的任务。

研究思路

对于那些有可能在有限步骤计算出来的学习问题，是否有一种假想的机械，让它不断运行，最后机器停下来的时候，那个数学答案就计算出来了？

图灵机模型

1936年5月28日，图灵发表了一篇论文，题为“论可计算数及其在判定问题上的应用”(On Computable Numbers, with an Application to the Entscheidungsproblem)，给“可计算性”下了一个严格的数学定义，并提出著名的“图灵机(Turing Machine)”的设想。

图灵对计算过程的描绘：

1.保留计算结果

 

2.表示运算和数字

3.扫描

4.计算过程中知道下一步做什么

5.执行下一步计算

图灵机的组成

 

 

标签：计算机,模型,图灵,模式,计算出来,图灵机,计算,函数
来源： https://www.cnblogs.com/yiwenwong/p/14292161.html