16.计算机理论

1.简单语言：递增语句(increment statement)，递减语句（decrement statement），循环语句(loop statement)。三种语句可以组成                       各种宏(marco)，宏再组合。

2.图灵机(turing machine)：磁带tape（b和1）、读写头(read/write header)、和控制器（控制图灵机在有限的状态中转换 finite state automaton）

3.图灵机的基础功能：读，写，左移或右移。图灵机可以实现简单语句构成的所有宏。

4.邱奇-图灵论题（Church-TURing thesis）：任何符号操作任务，图灵机都可以完成。

5.哥德尔数：将程序中的各种符号和数字，用16进制数一 一对应，既可以用一串16进制数表示一个程序。

                     这种程序和它的输入组成了哥德尔数。

6.停机问题（halting problem）无解(unsolved)。

7.问题复杂度由输入决定：它决定计算机执行运算的次数。

8.大O表示法（big O notation）：O（n）表示有N个输入,执行N次运算。

9.