博客介绍了图灵机，它具有最强描述符号算法的能力，但只存在于想象中。人们研究受限的概念计算机并将其实现，可把能描述成算法的事交给计算机做。人通过写程序告诉计算机做事，虽对算法、程序概念难达成一致，但计算机发展始终围绕制造更强计算机和提升编程能力。
最高级的计算机是图灵机
[d1] ，能够处理任何符号输入序列，能够产生任何形式的输出。这种变换的能力也就是图灵机描述算法的能力，图灵机也就是具有最强描述符号算法的能力的东西。简单的说，在只有符号的世界里图灵机就是最有魔力的法师，不论是点石成金，还是呼风唤雨，没有它做不到的。这么厉害的东西只能存在于人们的想象空间，现实生活中是没有的。但是人们还是不断的研究不如图灵机厉害的概念计算机，发现对符号数量、输入长度等等做种种限制之后，这种概念计算机竟然还是可以实现的。【符号、算法这些词在这里是元概念，没能力解释，不过按照天才鲁斯的说法
[d2] ：算法是一种人的思维方式和做事方式，程序员就是具有这种特点（怪癖？）的人】
那位又问了：就算能造出计算机又有什么用呢？天生我才必有用嘛，人们造出的计算机虽然执行算法的能力比图灵机弱，但是已经足够强大了。我们可以把能被描述成算法的事情都交给它去做，人们就可以省力了。而且如果计算机执行算法的速度足够快的话，原来人们做不成的事，现在都可以梦想成真了。接下来的问题是人怎样告诉计算机做什么？答案就是写程序。程序就是算法的描述方式，可以是图、代码行、二进制数串或者一排电钮。
算法、程序这些像公理一样的词整天充斥在我们的世界里，几乎可以不去想它们到底指的是什么。但其实人们是很难对这些概念达成一致的。如果你对我说的有疑义，那就对了，最好你也写出来我们切磋一下。但是理论概念有它强大的一面，无论是几百年前的手摇加法器，到现在的手持计算机都没有脱出这些概念理论的讨论范围。我们所做的一切始终是在试图制造更快更强的计算机和不断提高人们撰写程序的能力。
扫一扫
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
