《计算的本质》读书笔记

读书目的：理清计算机系统框架，理解计算的本质
读书收获：计算是根据程序来计算，而程序是在通用图灵机基础之上，根据确定型图灵机规则手册运行的对该确定型图灵机的一种模拟

心得：有限自动机->下推自动机(有限计算机)->确定型图灵机(临界点)->通用图灵机(全能计算机)，软硬件可以相互模拟替代，并且没有通用机器不能实现的算法，而通用机器上的程序只不过是对一台确定型机器的模拟。

第一部分 程序和机器

这部分主要在讲程序怎么在机器上表达要做的事情，然后让机器执行

1. 程序的含义

• 
  
• 语法：规定程序看起来想什么样子(程序需要有一定的格式，编译器才能识别并编译)
• 语义：程序要表达的含义
  
  • 操作语义(小步语义：从左至右一小步一小步进行；大步语义：递归就是一个典型)：把语言转换成真实的行为
  • 指称语义：把语言成分映射为数学对象，定义在对象上的运算所表达出的语言的语义
    

总结：任何语言都有其含义，程序用某种语言编写当然也有其含义

2