编译原理中要点简析

一、文法

0型文法又叫短文法，其能力相当于图灵机。满足a—>b中a包含非终结符

1型文法又叫上下文有关文法，其能力相当于线性有界自动机。满足|b|>a ，a->空除外

2型文法又叫上下文无关文法，其能力相当于下推自动机。满足1型文法的同时要求a是非终结符（对比0型文法）

3型文法又叫正规文法，其能力相当于有限状态自动机。满足2型文法要求的同时要求它是右线性或左线性（即A->a|aB或A->a|Ba）。(要么为右线性，要么为左线性，不能两者都占有。只能有一个终结符)

二、确定有限自动机(DFA)和非确定有限自动机（NFA）

M=(S,E,f,s0,Z)

在DFA中s0是唯一的，而在NFA中s0确实一个非空的集合。

NFA转化为DFA的方法采用的是子集法。首先确定NFA的初态集，然后由初态集推出输入每种条件后的状态，对这些状态进行不重复编号，然后将新产生的状态集重复初态集的过程，直到无新状态集产生为止。由每种状态集的编号形成的自动机就是DFA了。

三、正规式与有限自动机的转化

正规式的基本规则如下所示：

转化的原则如下所示：

一个例题：