第一章:
编译器:将程序翻译成一种能够被计算机执行的形式
解释器:解释器直接利用用户提供的输入执行源程序中指定的操作
一个编译器的结构
编译器将源程序映射为语义上等价的目标程序,这个映射过程由两部分组成:分析部分和综合部分
如果一个语言使用的策略支持编译器静态决定某个问题,那么我们说这个语言使用了一个静态策略,或者说这个问题可以在编译时刻决定,另一方面,一个只允许在运行程序的时候做出决定的策略称为动态策略,或者被认为需要在运行时刻做出决定
环境是一个从名字到存储位置的映射,因为变量就是内存位置(即c语言中的术语“左值”)
状态就是从一个内存位置到他们的值的映射,以C语言的术语说,即状态把左值映射为他们的相应右值
第二章--一个简单的语法制导翻译器
一个程序语言的语法(syntax)描述了该语言的程序的正确形式
该语言的语义(semantics)则定义了程序的含义
一个编译器前端的模型
语法树
语法定义
语法分析
语法分析的任务是:接受一个终结符号串作为输入,找到 从文法的开始符号推到出这个串的方法。如果不能从文法的开始符号推导得到该终结符号串,则报告该终结符号串中包含语法错误
语法分析树
一个文法的语言的另一个定义是指任何能够由某棵语法分析树生成的符号串的集合。为一个给定的终结符号串构建一颗语法分析书的过程称为对该符号串进行语法分析
一个文法可能有多颗语法分析树能够生成一个给定的终结符号串,这样的文法称为二义性。我们需要为编译应用设计没有二义性的文法,或者在使用二义性文法时使用附加的规则来消除二义性
正则表达式
最后一个是字符范围的补集
词法分析
编译器实现的五个阶段之一——词法分析。
- 词法分析的目标是将代码分割为词法单元,如关键字、变量名、运算符等。词法分析器将通过识别不同单元之间的分隔符来完成这一任务。
- 每个词法单元都有一个对应的类别,如标识符、关键字、运算符等。词法分析器将识别并分类这些子字符串,并将其传递给解析器。
- 解析器将以一系列的类别和子字符串的形式接收词法分析器的输出,这些类别和子字符串组成了所谓的"token"。