编译原理基本概念

1．编译程序
编译程序是一种翻译程序，它将高级语言所写的源程序翻译成等价的机器语言或汇编语言的目标程序。

2．词法分析（Lexical analysis或Scanning）和词法分析程序（Lexical analyzer 或Scanner）
词法分析阶段是编译过程的第一个阶段。

这个阶段的任务是从左到右一个字符一个字符地读入源程序，即对构成源程序的字符流进行扫描然后根据构词规则识别单词(也称单词符号或符号)。

词法分析程序实现这个任务。

词法分析程序可以使用lex等工具自动生成。

3．语法分析（Syntax analysis或Parsing）和语法分析程序（Parser）
语法分析是编译过程的一个逻辑阶段。

语法分析的任务是在词法分析的基础上将单词序列组合成各类语法短语，如“程序”，“语句”，“表达式”等等.语法分析程序判断源程序在结构上是否正确.源程序的结构由上下文无关文法描述.
4．语义分析（Syntax analysis）及中间代码生成
语义分析是编译过程的一个逻辑阶段. 语义分析的任务是对结构上正确的源程序进行上下文有关性质的审查, 进行类型审查.例如一个C程序片断:
int arr[2],b;
b = arr * 10;
源程序的结构是正确的.
语义分析将审查类型并报告错误:不能在表达式中使用一个数组变量,赋值语句的右端和左端的类型不匹配.语义分析时，根据语句的含义，可对它进行翻译，用另一种语言形式（比源语言更接近于目标语言的一种中间代码或直接用目标语言）来描述这种语义。

5．代码优化
代码优化的任务是对前阶段产生的中间代码进行等价变换或改造，以期获得更为高效的，即省时间和空间的代码。

6．目标代码生成
目标代码的生成的任务是将中间代码变换成特定机器上的绝对指令代码或可重定位的指令代码或汇编指令代码。

7．遍
8．前端（Front－end）和后端（Back end）
有时，常常把编译的过程分为前端(front end)和后端(back end)，前端由那样一些阶段组成：这些阶段的工作主要依赖于源语言而与目标机无关。

通常这些阶段包括词法分析、语法分析、语义分析和中间代码生成，某些优化工作也可在前端做，也包括与前端每个阶段相关的出错处理工作和符号表管理工作。

后端工作指那些依赖于目标机而一般不依赖源语言，只与中间代码有关的那些阶段，即目标代码生成，以及相关出错处理和符号表操作。

编译程序和解释程序
9．Lex
一个词法分析程序的自动生成工具。

它输入描述构词规则的一系列正规式,然后构建有穷自动机和这个有穷自动机的一个驱动程序,进而生成一个词法分析程序. 10．Yacc
一个语法分析程序的自动生成工具。

它接受语言的文法,构造一个LALR(1)分析程序.因为它采用语法制导翻译的思想,还可以接受用C语言描述的语义动作,从而构造一个编译程序. Yacc 是Yet another compiler compiler的缩写.
11．源语言（Source language）和源程序（Source program）
被编译程序翻译的程序称为源程序,书写该程序的语言称为源语言.
12．目标语言（Object language or Target language）和目标程序（Object program or Target program）
编译程序翻译源程序而得到的结果程序称为目标程序, 书写该程序的语言称为目标语言.
13．中间语言（中间表示）（Intermediate language(representation)）
在进行了语法分析和语义分析阶段的工作之后，有的编译程序将源程序变成一种内部表示形式，这种内部表示形式叫做中间语言或中间表示或中间代码。

所谓“中间代码”是一种结构简单、含义明确的记号系统，这种记号系统复杂性介于源程序语言和机器语言之间，容易将它翻译成目标代码。

另外，还可以在中间代码一级进行与机器无关的优化。

常见的中间代码形式有：逆波兰式、三元式、四元式、树形表示和三地址代码。

14．文法（Grammars）
文法是用于描述语言的语法结构的形式规则。

文法G定义为四元组(V N，V T，P，S)。

其中V N为非终结符号(或语法实体，或变量)集；V T为终结符号集；P为产生式(也称规则)的集合；产生式(规则)是形如α→β或 a ::=b 的(a , b)有序对,其中α∈(V N∪V T)*且至少含有一个非终结符，而β∈(V N∪V T)*。

V N，V T和P 是非空有穷集。

S称作识别符号或开始符号，它是一个非终结符，至少要在一条规则中作为左部出现。

一个文法的例子: G=( V N ={A，R}, P ={0,1} ，P ={A→0R，A→01,R→A1}, S =A) 15．文法分类（A hierarchy of Grammars）
著名语言学家Noam Chomsky定义了四类文法和四种形式语言类，文法的四种类型分别是0型、1型、2型和3型。

几类文法的差别在于对产生式施加不同的限制，分别是：
0型文法(短语结构文法)(phrase structure grammars)：
设G=(V N，V T，P，S)，如果它的每个产生式α→β是这样一种结构α∈(V N∪V T)*且至少含有一个非终结符，而β∈(V N∪V T)*，则G是一个0型文法。

1型文法（上下文有关文法）(context-sensitive grammars)：
设G=(V N，V T，P，S)为一文法|α|，若P中的每一个产生式α→β均满足|β|≥|α|，仅仅S→ε除外，则文法G是1型或上下文有关的。

2型文法（上下文无关文法）(context-free grammars)：
设G=(V N，V T，P，S)，若P中的每一个产生式α→β满足：α是一非终结符，β∈(V N∪V T)*则此文法称为2型的或上下文无关的。

3型文法（正规文法）(regular grammars)：
设G=(V N，V T，P，S)，若P中的每一个产生式的形式都是A→aB或A→a，其中A和B都是非终结符，a是终结符，则G是3型文法或正规文法。

0型文法产生的语言称为0型语言。

1型文法产生的语言称为1型语言，也称作上下文有关语言。

2型文法产生的语言称为2型语言，也称作上下文无关语言。

3型文法产生的语言称为3型语言，也称作正规语言。

16．句型（Sententialform），句子（Sentence）和语言（Language）
设G［S］是一文法，如果符号串x是从识别符号推导出来的，即有S x，则
称x是文法G［S］的句型。

若x仅由终结符号组成，即S x，x∈V T*，则称x 为G［S］的句子。

文法G所产生的语言定义为集合｛x｜S x，其中S为文法识别符号，且x∈V T*｝。

可用L(G) 或L(G[S])表示该集合。

17．推导（Derive）和语法树（Parse tree）
推导的概念：分别定义V*中的符号之间的关系直接推导、长度为n（n≥1）
的推导和长度为n（n≥0）的推导：
（1）如α→β是文法G=(V N，V T，P，S)的规则（或说是P中的一个产生式），γ和δ是V*中的任意符号，若有符号串v，w满足：
v＝γαδ，w＝γβδ
则说v（应用规则α→β）直接产生w，或说，w是v的直接推导，或说，w直接归约到v，记做v w。

（2）如果存在直接推导的序列：
v w0w1w2…w n w，（n>0）
则称v推导出（产生）w（推导长度为n），或称w归约到v。

记作v w。

（3）若有v w，或v＝w，则记作。

语法树（推导树）的概念：给定文法G=(V N，V T，P，S)，对于G的任何句型都能构造与之关联的语法树（推导树）。

这棵树满足下列4个条件：
①每个结点都有一个标记，此标记是V的一个符号。

②根的标记是S。

③若一个结点n至少有一个它自己除外的子孙，并且有标记A，则A肯定在V N 中。

④如果结点n的直接子孙，从左到右的次序是结点n1，n2，… ，n k，其标记分别为A1，A2，…，A k，那么A→A1A2，…，A k一定是P中的一个产生式。

18．二义文法（Ambiguous grammer）
如果一个文法存在某个句子对应两棵不同的语法树，则说这个文法是二义的。

或者说，若一个文法中存在某个句子，它有两个不同的最左(最右)推导，则这个文法是二义的。

19．短语，句柄(phrase , sentence handle)
令G是一文法，S是文法的开始符号，αβδ是文法G的一个句型。

如果有：且则称β是句型αβδ相对与非终结符A的短语。

特别，如有
则称β是句型αβδ相对于规则A→β的直接短语(也称简单短语)。

一个句型的最左直接短语称为该句型的句柄。

20．正规式（regular expression）和它所表示的正规集（regular set）
设字母表为Σ,辅助字母表Σ’ =｛Φ,ε，｜，.，*,(,)｝。

1. ε和Φ都是Σ上的正规式，它们所表示的正规集分别为{ε}和Φ；
2.任何a∈Σ，a是Σ上的一个正规式，它所表示的正规集为{a}；
3.假定е1和е2都是Σ上的正规式，它们所表示的正规集分别为L(е1)和L(е2)，那么，(е1)，е1｜е2，е1·е2和е2*也都是正规式，它们所表示的正规集分别为L(е1)，L(е1)∪L(е2)，L(е1)L(е2)和(L(е1)) *。

4.仅由有限次使用上述三步骤而定义的表达式才是Σ上的正规式，仅由这些正规式所表示的字集才是Σ上的正规集。

21．确定的有穷状态自动机DFA(deterministic finite automaton)和不确定的有穷状态自动机NFA(nondeterministic finite automaton)
我们这里是把DFA和NFA作为正规集的识别工具而介绍的。

DFA定义如下：
一个确定的有穷自动机(DFA)M是一个五元组：M=(K, Σ，f，S，Z)其中
1.K是一个有穷集，它的每个元素称为一个状态；
2. Σ是一个有穷字母表，它的每个元素称为一个输入字符,所以也称Σ为输入符号字母表;
3.f是转换函数，是在K×Σ→K上的映像，即，如f(k i,a)= k j( k i∈K, k j∈K)就意味着，当前状态为k i，输入字符为a时，将转换到下一状态k j，我们把k j称作k i的一个后继状态;
4.S∈K是唯一的一个初态；
5.Z K，是一个终态集，终态也称可接受状态或结束状态。

NFA定义如下;
一个不确定的有穷自动机(NFA)M是一个五元组，M=(K, Σ，f，S，Z)其中
1.K是一个有穷集，它的每个元素称为一个状态；
2. Σ是一个有穷字母表，它的每个元素称为一个输入字符；
3. f是一个从K×Σ*到K的子集的映像.
4. S K，是一个非空初态集;
5. Z K，是一个终态集。

DFA和NFA的等价定理：对于每个NFA M，存在一个DFA M’，使得L（M）＝L（M’），即M和M’是等价的。

22．最小状态DFA(reduced DFA or minimum DFA)
我们说一个确定的有穷自动机是化简了的，即是说，它没有多余状态并且它的状态中没有两个是互相等价的，这种DFA也叫做最小状态DFA。

一个DFA可以通过消除多余状态和合并等价状态而转换成一个与之等价的最小状态DFA。

24．FIRST集
设G=(V N，V T，P，S)是上下文无关文法FIRST(α)=｛a｜，a∈V T，
α, β∈V*｝若，则规定∈FIRST(α)。

25．FOLLOW集
设G=(V N，V T，P，S)是上下文无关文法，A∈V N，Ｓ是开始符号
FOLLOW(A)=｛a｜且a∈V T，a∈FIRST(β)，μ∈V T*，β∈V+｝若，且，则#∈FOLLOW(A)。

也可定义为：FOLLOW(A)={a|…Aa…,a∈V T }
若有…A，则规定#∈FOLLOW(A)
这里我们用‘＃’作为输入串的结束符，或称为句子括号，如：＃输入串＃。

26．SELECT集
给定上下文无关文法的产生式A→αA∈V N，α∈V*，若，则
SELECT(A→α)= FIRST(α) 如果，则SELECT(A→α)=FIRST(α)∪FOLLOW(A)。

27．左递归文法（Left recursive grammar）
一个文法含有下列形式的产生式时。

a)A→AβA∈V N，β∈V*
b)A→Bβ
B→ＡαA,B∈V N，α、β∈V*
在a)中也可称为含有左递归的规则或称直接左递归，在b)中为AＡ…称文法中含有左递归或间接左递归，文法中只要含有a)或含有b)或二者皆有均认
为文法是左递归的。

28．LL（1）文法
满足如下条件的上下文无关文法称为LL（1）文法：对每个非终结符A的两个不同产生式，
A→α，A→β，满足
SELECT（A→α）SELECT（A→β）＝Φ
其中α、β不同时能。

LL（1）文法的含义是：第一个L表明自顶向下分析是从左向右扫描输入串，第二个L表明分析过程中将用最左推导，1表明只需向右看一个符号便可决定如何推导即选择哪个产生式（规则）进行推导，类似也可以有LL（K）文法，也就是需向前查看K个符号才可确定选用哪个产生式。

通常采用K＝1，个别情况采用K＝2。

29．递归子程序法（Recursive-descent）
递归子程序法是LL（1）文法的分析程序的一种实现方法。

它对应文法中每个非终结符编写一个递归过程，这种分析程序由这一系列递归过程的相互调用来完成语法分析工作。

30．移进－归约分析（shift－reduce analysis）
自底向上分析方法，也称移进－归约分析法，它的实现思想是对输入符号串自左向右进行扫描，并将输入符逐个移入一个后进先出栈中，边移入边分析，一旦栈顶符号串形成某个句型的句柄时，（该句柄对应某产生式的右部），就用该产生式的左部非终结符代替相应右部的文法符号串，这称为一步归约。

重复这一过程直到归约栈中只剩文法的开始符号时则为分析成功，也就确认输入串是文法的句子。

31．算符文法，算符优先文法(Operator Grammar，Operator Precedence Grammar)
设有文法G，若G中没有形如UVW的规则，其中V和W为非终结符，则称G是一个算符文法(Operator Grammar)，即OG文法。

设有一不含产生式的算法文法G，如果对任意两个终结符对a，b之间至多只有＜·、·＞和三种关系的一种成立，则称G是一个算符优先文法(Operator Precedence Grammar)，即OPG文法。

32．最左素短语（Most left prime phrase）
设有文法G［S］，其句型的素短语是一个短语，它至少包含一个终结符，并除自身外不包含其它素短语，句型的最左边的素短语称最左素短语。

33．LR分析
是一种自底向上的语法分析技术,通常称为LR(K).L是说从左至右扫描输入串,R是说分析过程所形成的推导是最右推导,K是指在做分析决策时向前察看K 个输入符号.LR分析可用于一大类上下文无关文法,是一种最常用的无回朔的移进归约分析, 一个LR分析器由分析栈、分析表和总控程序3个部分组成。

LR分析器总控程序根据LR分析表，执行4种可能的动作：移进、规约、接受（acc）和报错。

34．属性文法（Attribute grammar）
形式上讲，一个属性文法是一个三元组，Ａ＝（Ｇ，Ｖ，Ｆ），一个上下文无关文法Ｇ；一个属性的有穷集Ｖ和关于属性的断言或谓词的有穷集Ｆ。

每个属性与文法的某个非终结符或终结符相联。

每个断言与文法的某产生式相联。

如果对Ｇ中的某一输入串而言（句子），Ａ中的所有断言对该输入串的语法树结点的属性全为真，则该串也是Ａ语言中的句子。

编译程序的静态语义审查工作就是验证关于所编译的程序的断言是否全部为真。

属性分为两类：综合属性和继承属性。

35．语法制导翻译（Syntax-directed translation）
在语法分析过程中，随着分析的步步进展，根据每个产生式所对应的语义子程序（或语义规则描述的语义动作）进行翻译的办法称作语法制导翻译。

36．数组内情向量（array dope vector）
一般编译程序对数组说明的处理是把数组的有关信息汇集在一个叫做“内情向量”或“信息向量”的表格中，以便以后计算数组元素的地址时引用这些信息。

每个数组有一个内情向量。

其中的信息包括，数组的类型，维数，各维的上、下界，以及数组的首地址。

编译程序处理数组说明的主要工作是把内情向量登录在符号表中，这些属性信息是确定存储分配时数组所占空间的大小和数组元素位置的依据。

37．符号表（symbol table）
在编译程序中符号表用来存放源程序中出现的有关标识符的属性信息，这些信息集中反映了标识符的语义特征属性,为进行上下文语义审查和进一步的翻译使用。

编译程序处理标识符时主要涉及两部分内容，其一是标识符本身，其二是标识符相关的信息。

符号表上有三种操作：填入、查找和更新。

符号表的查找方法有顺序查找、二分查找和散列（杂凑）查找法。

38．运行时的环境及存储空间
所谓运行时的环境是指目标计算机的寄存器和存储器的结构，以及用来管理存储器并保存执行过程所需要的信息。

存储空间包括用户定义的各种类型的数据对象所需要的存储空间、调用过程所需要的连接单元和组织输入/输出所需要的缓冲区及保留中间接过和传递参数所需要的临时单元。

存储空间通常被划分为：目标区、静态数据区、栈区和堆区。

39．静态存储分配（Static storage allocation）
如果在编译时能确定目标程序运行中所需的全部数据空间的大小，编译时安排好目标程序运行时的全部数据空间，确定每个数据对象的存储位置，称这种分配策略为静态存储分配。

40．动态存储分配（Dynamic storage allocation）
如果一个程序设计语言允许递归过程、可变数组或允许用户自由申请和释放空间，那么，就需要采用动态存储管理技术。

因为对于这种程序在编译时无法知道它在运行时需要多大的存储空间，它所需要的数据空间的大小需待程序运行时动态地确定。

有两种动态存储分配方式：栈式（stack）和堆式（heap）。

41．四元式(quadruples)
四元式是一种中间代码的形式,是一个有四个域的纪录结构: 四个域分别称为op,arg1,arg2 和result 即操作符,运算对象1, 运算对象2 和运算结果.一个例子:( + ,a, b, c)
42．Display表
为能存取非局部变量而纪录外包过程的活动记录地址的数组。

即每进入一个过程后，在建立它的活动记录的同时建立一张嵌套层次显示表display。

这里所提到的“嵌套层次”，是指过程定义的层数，始终假定主程序的层数为0，因此主程序称为0层过程。

如某过程p是在层次为i的过程q内定义的，并且q是包围p的直接外层，那么p的过程层数为i+1。

display是一个指针数组d，也可看做是一个小栈，自顶向下每个单元依次存放着现行层，直接外层，……直至最外层（0层，主程序层）等每一层过程的最新活动记录的地址。

43．活前缀(viable prefixes) 和拓广文法
若是文法G中的一个规范推导。

如果符号串γ是αβ的前缀，则称γ是G的一个活前缀。

也就是说γ是规范句型αβω的前缀，但它的右端不超过该句型句柄的末端。

这里S为对原文法G加了产生式S′→Ｓ，S为原文法G的开始符号，S′为拓广后文法G′的开始符号。

44．LR(0)项目和LR(0)项目集规范族(LR(0)items and canonical collection of sets of LR(0) items)
文法G的产生式的右部适当位置添加有一个圆点则称为一个LR(0)项目。

根据小圆点的位置和圆点后是终结符还是非终结符，将一个文法的全部LR(0)项目分为四类：归约项目、移进项目、待约项目和接受项目。

根据圆点所在的位置和圆点后是终结符还是非终结符把项目分为以下几种：
移进项目，形如 A →α• aβ，其中α，β∈(V N∪V T)*
待约项目，形如 A →α• Bβ，其中α，β∈(V N∪V T)*
归约项目，形如 A →α•，其中α∈(V N∪V T)*
接受项目，形如S’ →S •
构成识别一个文法活前缀的DFA项目集(状态)的全体称为这个文法的LR(0)项目集规范族。

45．同心集
所谓同心的LR(1)项目集是指在两个LR(1)项目集中，除搜索符不同之外，核心部分是相同的。

46．代码优化（Code Optimization）
所谓代码优化，实质上是对代码进行等价变换，使得变换后的代码运行结果与变换前代码运行结果相同，而运行速度加大或占用存储空间少，或两者都有。

代码优化通常分为两大类：与机器相关的优化和与机器无关的优化。

与机器无关的优化，常见的优化技术：删除公共子表达式（删除多余运算）、代码外提、强度削弱、变换循环控制条件（删除归纳变量）、合并已知量、复写传播和删除无用赋值。

依据优化所涉及的范围分为：局部优化、循环优化和全局优化。

47．基本块（Basic block）和DAG
所谓基本块，是指程序中一顺序执行的语句序列，其中只有一个入口语句和一个出口语句。

执行时只能从其入口语句进入，从其出口语句退出。

如果有向图中任一通路都不是环路，则称该有向图为无环路有向图，简称ＤＡＧ。

基本块的DAG表示可用于代码优化。

在一个基本块内，可以执行三种优化：删除多余运算、、合并已知量、删除无用赋值。

48．控制流程图（流图）（Control flow graph）
一个控制流程图就是具有唯一首结点的有向图。

所谓首结点，就是从它开始到控制流程图中任何结点都有一条通路的结点。

我们可以把一个控制流程图表
示成一个三元组Ｇ＝（Ｎ，Ｅ，），其中，Ｎ代表图中所有结点集，Ｅ代表图中所有有向边集，代表首结点。

控制流程图简称为流图。

49．循环（Loop）
在程序流图中，称具有下列性质的结点序列为一个循环：
１．它们是强连通的。

也即，其中任意两个结点之间，必有一条通路，而且该通路上各结点都属于该结点序列。

如果序列只包含一个结点，则必有一有向边从该结点引到其自身。

２．它们中间有且只有一个是入口结点。

因此，我们定义的循环就是程序流图中具有唯一入口结点的强连通子图，从循环外要进入循环，必须首先经过循环的入口结点。

所谓入口结点，是指序列中具有下述性质的结点：从序列外某结点，有一有向边引到它，或者它就是程序流图的首结点。

50．必经结点（dominators）和必经结点集（dominators set）
在程序流图中，对任意两个结点m和n，如果从流图的首结点出发，到达n 的任一通路都要经过m，则称m是n的必经结点，记为m DOM n。

流图中结点ｎ的所有必经结点的集合，称为结点n的必经结点集，记为D（n）。

51．回边（back edge）
假设a→b是流图中的一条有向边，如果b DOM a，则称a→b是流图中的一条回边。

52．T型图（T diagram）
一个编译程序涉及到三个方面的语言，即源语言、目标语言和编译程序的书写语言。

为了描述方便通常用T型图来表示一个编译程序所涉及到的这三个方面的语言。

T型图的左上角表示源语言，右上角表示目标语言，底部表示书写语言(实现语言)。

53．自展（bootstrap）
自展的思想是先用目标机的汇编语言或机器语言书写源语言的一个子集的编译程序，然后再用这个子集作为书写语言，实现源语言的编译程序，如果把这个过程根据情况分成若干步，像滚雪球一样直到生成预计源语言的编译程序为止，我们把这样的实现方式称为自展技术。

54．Token
具有集合意义的字符序列.是词法分析的输出. Token 一般分为标识符,常数(常量),关键字,运算符及界符.
55．交叉编译（Cross compile）
所谓交叉编译是指把一个源语言在一个机器(称为宿主机)上编译产生另一个机器(称为目标机)的汇编语言或机器语言。

56．过程的活动记录AR(Activation Record)
过程的活动记录是一段连续的存储区，用以存放过程的一次执行所需要的信息，
一般有如下信息：
1．临时工作单元，比如计算表达式过程中需存放中间结果用的临时值单元。

2．局部变量，一个过程的局部变量。

3．保存机器状态，容纳该过程执行前关于机器状态的信息，诸如程序计数器、寄存器的值，这些值都需要在控制从该过程返回时给予恢复。

4．存取链，用以存取非局部变量，这些变量存放于其它过程活动记录中。

并不是所有语言需要该信息。

5．控制链，指向调用该过程的那个过程的活动记录，这也不是所有语言都需要的。

6．实参，也称形式单元，由调用过程向该被调过程提供实参的值（或地址）。

当然在实际编译程序中，也常常使用机器寄存器传递实参。

如文档对您有帮助，欢迎下载支持，谢谢！
7．返回地址，保存该被调过程返回后的地址。

57．传值（Call－by－value）和传地址（Call－by－reference）
是调用过程向被调用过程参数传递的两种方法.
传值也称值调用，即将实参计算处它的值，然后把它传给被调过程。

具体如下：
①形式参数当作过程的局部变量处理，即在被调过程的活动记录中开辟了形参的存储空间，这些存储位置即是我们所说的实参或形式单元。

②调用过程计算实参的值，并将它们的右值（r－value）放在为形式单元开辟的空间中。

③被调用过程执行时，就像使用局部变量一样使用这些形式单元。

传值或值调用的重要特点是对形式参数的任何运算不影响调用过程的活动记录中实参的值。

当参数通过引用传递时，也称作传地址，或引用调用。

调用过程传给被调过程的是指针，指向实参存储位置的指针。

①如实参是一个名字或是具有左值的表达式，则左值本身传递过去。

58. 代码生成器
代码生成器的输入包括中间代码和符号表中的信息，生成的目标代码一般有如下3种形式：
（1）能够立即执行的机器语言代码
（2）待装配的机器语言模块
（3）汇编语言程序
59. 单词
单词是指语言中具有独立意义的最小语法单位。

单词分为关键字、标识符、常数、运算符和界符。

词法分析程序所输出的单词符号通常表示成如下的二元式：（单词种别，单词自身的值）。