<2>计算机科学概论的学习 <12>关于图灵

阿计算机之父——图灵

图灵机

为了解决“可判定性问题“,图灵提出了图灵机。图灵机是指一个抽象的机器(抽象的计算模型),它有一条无限长的纸带,纸带分成了一个一个的小方格,每个方格有不同的颜色。有一个机器头在纸带上移来移去。机器头有一组内部状态,还有一些固定的程序。在每个时刻,机器头都要从当前纸带上读入一个方格信息,然后结合自己的内部状态查找程序表,根据程序输出信息到纸带方格上,并转换自己的内部状态,然后进行移动。
图灵机有一条无限长的纸带,一个读写头,一套控制规则,一个状态寄存器。 其中,我认为,无限长的纸带和控制规则是图灵机的关键。
按照图灵机的逻辑,只要纸带够长,控制规则够全面,理论上可以解决所有计算问题。
后来,图灵证明了计算机的计算能力有极限,有些问题是计算机无法解决的(如停机问题

图灵测试

图灵测试是人工智能哲学方面第一个严肃的提案。图灵测试可简单表述为:如果一台机器能够与人类展开对话(通过电传设备)而不能被辨别出其机器身份,那么称这台机器具有智能。
我认为这是一种非常有意义和实践性的智能测试。

图灵奖

为纪念图灵对计算机科学发展的杰出贡献,人们将计算机科学领域的最高荣誉命名为图灵将

你可能感兴趣的:(<2>计算机科学概论的学习 <12>关于图灵)