编译程序(compiler)
将某一种高级语言程序等价地转换成另一种低级语言程序(如汇编语言/机器语言)
工作过程
- 中间代码:形成三元式/四元式/树
遍(pass) 指对源程序或中间表示形式从头到尾扫描一次,并在扫描过程中完成相应的加工处理,生成新的中间表示或目标程序。
用高级语言书写编译程序:
移植方法:
解释程序(interpreter)
把源语言写的源程序作为输入,但不产生目标程序,而是边解释边执行源程序。
句型 句子 语言
假定G是一个文法,S是它的开始符号
则称α是一个句型。S本身也是一个句型(S可以推出S)
- 仅含终结符号的句型是一个句子
文法G所产生的句子的全体是一个语言,记为L(G)。
语法树与二义性(ambiguity)
文法二义性
如果一个文法存在某个句子对应两棵不同的语法树,则说这个文法是二义的。
形式语言鸟瞰
Terminal(终结符) and Nonterminal(非终结符)