1、编译：编译程序的翻译过程。词法分析,语法分析,语义分析,中间代码生成,代码优化,目标代码生成.
语言：由文法G生成的语言记为L(G),它是文法G的一切句子的集合:L(G)={x|S =>* x，其中S为文法的开始符号，且x ∈VT*}
2、义文法：若一个文法存在某个句子对应两棵不同的语法树，则称这个文法是二义的。或者，若一个文法存在某个句子有两个不同的最左（右）推导，则称这个文法是二义的。
3、二义语言：如果产生上下文无关语言的每一个文法都是二义的，则说此语言是先天二义的。
4、属性文法：属性文法(attribute grammar)是一个三元组： A=(G,V,F),其中G:是一个上下文无关文法,V:有穷的属性集,F:关于属性的属性断言或一组属性的计算规则(称为语义规则) 。
5、活动记录：一个过程的一次执行所需要的信息，使用一个连续的存储区来管理这个区（块），叫做一个活动记录AR。
6、词法：规定什么是正确的单词，boy 不能写成byo等等。
7 、语法（文法）：是指一组规则，用它可以形成和产生一个合适的程序。（定义什么样的符号序列是合法的）
8 、语义：自然语言中词语的意义，逻辑形式系统中符号的解释。（定义什么样的符号序列是有含义的）
9 、句子：有文法G[s]，若S =>* x，且x∈VT*，则称x是文法G的句子。
10 、句型：有文法G[s]，若S =>* x，则称x是文法G的句型。
11 、语法树：设G=( VN,VT,P,S)为一cfg，若一棵树满足下列4个条件，则此树称作G的语法树。
12 、最左/最右推导：在推导的任何一步α β，其中α、β是句型，都是对α中的最左（右）非终结符进行替换。
13 、自上而下分析：从文法的开始符号出发，反复使用文法的产生式，寻找与输入符号串匹配的推导，或者说，为输入串寻找一个最左推导。
14 、自下而上分析：从输入符号串开始，逐步进行归约，直至归约到文法的开始符号。
15 、短语：存在文法G[s],S =>* αAδ且 A =>+ β，则称β是句型αβδ相对于非终结符A的短语。
16 、句柄：一个句型的最左直接短语称为该句型的句柄
17 、项目：在右端某一位置有圆点的G的产生式
18 、语法制导翻译：在语法分析的同时，执行语义规则描述的动作
19 、回填：一旦真假出口确定下来之后,用顺着真链和假链把真假出口补上.
20 、拉链：为了记录需回填地址的四元式,把需要回填的真出口的四元式拉成链,把需要回填家出口的四元式拉成一链,分别称作真链假链。
21 、目标程序运行时存储区划分图：下载本文
