已经证明,任何程序均可只用这三种结构实现已经证明,任何程序均可只用这三种结构实现
是如何证明的,具体步骤是怎样的。读到这句话时,如果不知其所以然,心里总好象有一块石头似的,非常不舒服。总觉得不管多深,一定要把它弄清楚。
因此在goole里搜索,幸好找到了一篇当年的论文:
BÖhm, Corrado, and Jacopini Guiseppe. Flow diagrams, Turing machines and languages with only two formation rules. Comm. ACM 9 (May 1966), 366-371.
换一个角度想,有那个必要吗?!它与编程实际又有多大关系呢?再说,一个真正弄清楚这个问题的人,可能也不会去从事软件编程这份工作了。就像一个深刻理解JAVA背后原理,并知其具体实践细节的人。
我有这样一个习惯,不管学习什么,总想知其所以然,不知不觉,对历史产生了一定的兴趣,因为历史就是要人知其所以然。
当我弄清问题的本质后,我会“疯狂”的去思考它应该如何应用。争取能够把理论运用的“出神入化”
现在想想一个人如何要把实际和理论打通是多么困难,与此同时还要有所创告。
也许我一辈子也做不到。
对于我来说,运用知识和创造知识是我同样感兴趣的。
可学习的目的不就是要会运用知识吗?
我不想成为一个学者。因为它总是跟理论打交道。至少我学完一门理论后,要把它运用的出神入化后,再去学另一个理论。
咋“理论联系实际”,一个很简单的道理,要处处去落实,怎就那么难呢?