计算机理论 概论

●我们可以定义一种只有三种语句的计算机语言:递增语句、递减语句和循环语句。递增语句给变量加1。递减语句给变量减1。循环语句是在变量的值不为0时，重复一个动作或一系列动作。

●可以证明这种简单的语言能模拟一 些流行语言中的多个语句。我们把每个模拟称为为一个宏，它可以在其他模拟中使用，而不需要重复编码。

●图灵机是为解决可计算问题而设计的，它是现代计算机的基础。图灵机由三部分构成:磁带、控制器和读1写头。

●基于邱奇一图灵论题，如果存在.个完成符 号操纵任务的算法，那么完成此任务的图灵机也是存在的。
●在理论计算机科学中，在具体的计算机语言中，一个分配给任何程序的无符号数称为歌德尔数。

●一个经典的编程问题是能否构造一 个可以预言另一程序是否 会结束的程序。不幸的是已经证明这样的程序是不存在的，停机问题是不可解的。营5:

●在计算机科学中，问题可以分成两类:可解问题和不可解问题，可解问题本身可以分为多项式问题和非多项式问题。