编程珠玑番外篇，这人还是有两把刷子的。…

为什么前2次贴的当时看不到？现在又都出来了。

谢谢了，那个SA问题我是知道的，Sipser的那本《计算理论导引》上就把它叫做停机问题，想这个问题的时候，我也意识到了有可能是我把描述或者说编码图灵机和图灵机的语言给搞混了，但我也想不通编码一个图灵机为什么只需要CFG就够了，当时我还在想用正则是不是也可以，后来想要是可以别人早就弄出来了,我觉得这个应该取决于通用图灵机的性质。
再次谢谢你的回答。

描述一个图灵机的语言, 和图灵机能够处理的语言, 不是一回事.

上下文无关文法(CFG) 就可以描述计算机编程语言, 是因为这样计算机编程语言能够被编译器高效的转换成机器码. 事实上我们现在用的计算机编程语言, 大多只是 CFG 的子集, 叫做 LALR(k). 编译原理上都有讲.

描述一个算法, 和这个算法接受的语言, 是不一样的两件事情. 可注意, 一个叫做 e(M), 一个叫做 L(M), 前者 e(M) 是关于这个图灵机的编码, 后者 L(M) 是这个图灵机 M 可判定的语言的集合. 当然, 这两个之间如果巧妙的把 e(M) 扔给 M, 问是不是 L(M), 那就是著名的 SA 问题了. SA 略改一下就是著名的停机问题了. 你可以从看停机问题入手, 就更加清楚了.

我也是看书才有疑惑的，wikipedia上说的也比较简短，看过来看过去就《逻辑的引擎》这本书八卦多一点，其它的都直接给结果的。
另外想问一个问题，可能比较弱啊，就是算法定义的一个精确模型是图灵机，那为什么现在的高级语言用上下文无关文法就可以描述算法，它不是只对应于非确定下推自动机吗？抑或是我把语法和语义搞混了？如果按乔姆斯基对文法的分类来说，描述一个算法最少需要几级语言，还是它只是取决于怎么去解释？
我是最近刚看计算理论这方面的内容，很多疑惑啊，不知道哪里可以问，如果打扰到您，还请见谅。

我的八卦也是看书看来的, 你说的那部分历史, 我还真不熟, 八卦不起来啊. 要不你给我举几个例子, 说不定有的我知道. 因为我看过图灵和冯诺依曼早期的不少论文.

瘦肉丝老师:

未来如何很难说的. 你转的那篇文章中很多描述都是戏说而已, 其实真实情况未必这么轻描淡写, 不同的系统有不同的语言选择.