目录

低级语言和高级语言

编译程序和解释程序

正规式，词法分析的一个工具

有限自动机

​编辑

上下文无关法 ​编辑

中后缀表示法

杂题

​编辑 

---

低级语言和高级语言

编译程序和解释程序

        计算机只能理解由0、1序列构成的机器语言，因此高级程序设计语言需要翻译，担负这一任务的程序称为“语言处理程序”。语言之间的翻译形式有多种，基本方式为汇编、解释和编译。

        用某种高级语言或汇编语言编写的程序称为源程序，源程序不能直接在计算机上执行。如果源程序是用汇编语言编写的，则需要一个汇编程序将其翻译成目标程序后才能执行。如果源程序是用某种高级语言编写的，则需要对应的解释程序或编译程序对其进行翻译，然后在机器上运行。

        解释程序也称为解释器，它或者直接解释执行源程序，或者将源程序翻译成某种中间代码后再加以执行；而编译程序(编译器)则是将源程序翻译成目标语言程序，然后在计算机上运行目标程序。

        这两种语言处理程序的根本区别是：在编译方式下，机器上运行的是与源程序等价的目标程序，源程序和编译程序都不再参与目标程序的执行过程；而在解释方式下，解释程序和源程序(或其某种等价表示)要参与到程序的运行过程中，运行程序的控制权在解释程序。

        简单来说，在解释方式下，翻译源程序时不生成独立的目标程序，而编译器则将源程序翻译成独立保存的目标程序。

解释器：翻译源程序时不生成独立的目标程序
解释程序和源程序要参与到程序的运行过程中
编译器：翻译时将源程序翻译成独立保存的目标程序
机器上运行的是与源程序等价的目标程序，源程序和编译程序都不再参与目标程序的运行过程

 

 

便于为数据合理分配存储单元

便于对参与表达式计算的数据对象进行检查

便于规定数据对象的取值范围及能够进行的运算 

 

 

词法分析

 词法分析的输出是记号流

语法分析

输入是记号流，输出是语法树，白话就是看你在编写代码的时候有没有编写错误，比如忘了分号，少了括号，没有给类型

语义分析

输入是语法树，检查源程序是否包含静态语义错误，白话就是看你逻辑上有没有错误

目标代码生成

这个工作与具体的机器相关

 常见动态语义错误：死循环、零除数、数字下标越界、堆栈溢出、指针异常等

后三三数 

 

正规式，词法分析的一个工具

有限自动机

确认转移状态确不确定，就看它是的每一状态的转移是不是唯一的，唯一的就是确定，不唯一就是不确定

上下文无关法 

 

 

 

 

中后缀表示法

 

 

 

 

 

 

杂题

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

python是解释型语言