编译语言原理--文法

文法四元组格式定义：G=(Vn,Vt,P,S)，如下解释

Vn	Vt	P	S
非终结符（例如：A）	终结符（例如:a）	有限集合	开始符号

文法运算规则：

文法	名称	适用于	限制条件 ：α→β
0型文法	短语文法	图灵机	α∈（Vn∪Vt）﹢，α至少有一个Vn；β∈（Vn∪Vt）*
1型文法	上下文有关文法	线性有界自动机	α<=β个数（Aa→abC）
2型文法	上下文无关文法	下推自动机	α∈Vn ；β∈（Vn∪Vt）*
3型文法	正规文法（线性文法）	有限状态自动机	α∈Vn且只有一个；β∈Vt一个或者两个的时候只能是一个Vt和Vn组合；（比如A→a或A→aB (或者A→Ba） 如果β给出固定格式接下来的操作必须跟着格式走（比如是A→aB，格式就只能这样不能变成：A→Ba）

备注：其中Vn只是助记符而已，最终状态都需要