Reading Today: 为什么几种简单的语句就可以写出所有的程序

这个问题以前想过，一直没有答案。
讲C语言的老师也没有提。
今天在这里找到了答案：
https://groups.google.com/group/pongba/browse_thread/thread/e209be4a33312f7b#

我们平常用的C，C++，JAVA语句由sequence, selection和iteration三种结构组成，
他们可以构成Chomsky 2型语言（上下文无关语言），
而2型语言又是0型语言的一个子集（递归可枚举语言），
而0型语言可以完整表示所有确定性图灵机可计算语句，
而图灵机又是建立在Kurt Godel的证明上的。

学习了。