软考：编译原理（一）

视频资料笔记总结

文法：

终结符：是原子量，不能拆分。【一般表示（a,b,c）】
非终结符：可以拆分为很多语句。【一般表示（A,B,S,X）】【S一般为开始符】

文法类型：
【0型文法】：
表达式G=（VN,VT,P,S） 【VN非终结符集合】 【VT终结符集合】【P推导式集合】【S开始符】
**定义重点:**每一个产生式α->β中是这种结构：
α∈（VN∪VT）【任何元素组合能形成一个串】【闭包】且至少含有非终结符【VN】
β∈（VN∪VT），则G是一个0型文法
0型文法也叫短语文法，能力相当于图灵机，递归可枚举的必定是一个0型文法。

【1型文法】：
上下问有关文法，对应于线性有界自动机。在0型文法的基础上有|β|>=|α|。|β|表示长度。【特例】α->ε也满足1型文法

【2型文法】
上下文无关文法，对应下推自动机。在1型文法基础上：每一个α->β都有α是非终结符。

【3型文法】
正规文法，对应于有限状态自动机。在2型文法的基础上：A->α|αΒ(右线性)或者A->α|Bα(左线性)。【必须满足其中一个线性规则】

正规式【正则表达式】

有穷自动机

确定的有穷自动机(DFA)：
确定的有限状态自动机M（DFAM）是一个五元组M=（S,∑,f,S0,Z）
其中：
（1）S是一个有限状态集合
（2）∑是一个字母表
（3）f是一个从S × ∑至S的单值部分映射
（4）S0∈S，是唯一的初态
（5）Z⊆S，是一个终态集
不确定的有穷自动机(NFA)：
确定的有限状态自动机M（DFAM）是一个五元组M=（S,∑,f,S0,Z）
其中：
（1）S是一个有限状态集合
（2）∑是一个字母表
（3）f是一个从S × ∑至S的单值部分映射
（4）S0⊆S，是一个非空初态集
（5）Z⊆S，是一个终态集
正规式与有限自动机的转换

语法推导树

算符优先

（暂时不写）