●我们可以定义一种只有三种语句的计算机语言:递增语句、递减语句和循环语句。递增语句给变量加1。递减语句给变量减1。循环语句是在变量的值不为0时,重复一个动作或一系列动作。
●可以证明这种简单的语言能模拟一 些流行语言中的多个语句。我们把每个模拟称为为一个宏,它可以在其他模拟中使用,而不需要重复编码。
●图灵机是为解决可计算问题而设计的,它是现代计算机的基础。图灵机由三部分构成:磁带、控制器和读1写头。
●基于邱奇一图灵论题,如果存在.个完成符 号操纵任务的算法,那么完成此任务的图灵机也是存在的。
●在理论计算机科学中,在具体的计算机语言中,一个分配给任何程序的无符号数称为歌德尔数。
●一个经典的编程问题是能否构造一 个可以预言另一程序是否 会结束的程序。不幸的是已经证明这样的程序是不存在的,停机问题是不可解的。营5:
●在计算机科学中,问题可以分成两类:可解问题和不可解问题,可解问题本身可以分为多项式问题和非多项式问题。