词法分析-语法分析-语义分析-中间代码生成-优化-目标代码生成-（每个阶段都包含表格处理，出错处理）

词法分析-单词输入-输出单词的种别编码和自身值-不能发现括号不匹配-分析的是源程序-无符号常数识别和拼数在词法分析阶段完成

语法分析-分析单词串是如何构成语句和声明的-ab-c识别为ab

语义分析-运算符和运算对象不匹配（语义错误）

编译是对高级语言的翻译

用高级语言编写的程序经编译后产生的程序叫目标程序

编译程序是一种翻译程序

测试一个编译程序时使用的测试数据是源程序

编译程序生成的目标代码程序不一定是可执行的程序

识别标识符不需要超前搜索

文法G产生的句子的全体是该文法描述的语言

文法识别符号经过任意步推导得到的结果是句型

由文法的开始符号出发经过若干步（包括0步）推导产生的文法符号序列称为句型

乔姆斯基(Chomsky)把文法分为四种类型，即0型（短语文法，图灵机）- 1型（上下文有关文法）- 2型（上下文无关文法，非终结符→符号串）- 3型（语言的语法规则，正则文法）

上下文无关文法可以用扩展的BNF来描述

一个上下文无关文法G包括四个组成部分，它们是一组非终结符号，一组终结符号，一个开始符号，以及一组产生式

不存在这样一些语言，它们能被确定的有穷自动机识别，但不能用正则表达式表示

两个有穷自动机等价是指它们的所识别的语言相等，所能识别的字符串集合相等