文法与语言分类

本文参考自《自己动手写编译器、链接器》（DIY Compiler and Linker） 王博俊、张宇编著　《编译原理及编译程序构造》　张莉、杨海燕、史晓华、金茂忠、高仲仪编著

形式语言使用文法和自动机来描述的。文法用于生成语言，自动机用于识别语言。

　文法分类

乔姆斯基（Chomsky）对文法的定义：$G=(V, V_t, P, Z)$
$V$:符号集合
$V_t$:终结符号集合，$V_t\subset V$
$P$:有穷规则集合
$Z$:识别符号，$Z\in V-V_t$，即$V\in V_n$，$V_n代表非终结符$

0型文法

$\alpha \rightarrow \beta$: $\alpha \in V^+, \beta \in V^*$，且$\alpha$中至少含有一个$V_n$。

又称为无限制文法。识别器为图灵机。
０型文法对文法规则不做限制，从而使定义的语言提供充分的描述功能，但不保证语言的递归性，即不保证语句合法的可判性，所以很少用于定义自然语言。

1型文法

$\alpha \rightarrow \beta$: 在０型文法的基础上，要求$|\beta| > |\alpha|（|\beta|代表\beta的长度）$。
（或者这样定义：$xUy ::= xuy，其中U \in V_n, x,y \in V^*, u \in V^+$）

又称为上下文有关文法，用于描述上下文有关语言。识别器为线性有界自动机。
文法左部允许有多个符号（至少一个是非终结符），以指示上下文的相关性。
文法要求右部符号个数不少于左部，确保了语言的递归性，即语句合法的可判性。

2型文法

$\alpha \rightarrow \beta$: 在１型文法的基础上，要求$\alpha$为非终结符。
（或者这样定义：$U ::= u，其中U \in V_n, u \in V^*$）

又称为上下文无关文法，用于描述形式语言。识别器为下推自动机。
之所以称之为上下文无关，由上面的定义可以看出，当把$U$重写为$u$时无需考虑其上下文。

例如：$A \to Ba$为上下文无关文法，而$Ab\to Bab$为上下文有关文法，因为左部$\alpha = Ab$，这就意味着想要翻译非终结符$A$为$Ba$的时候，还要满足其后为终结符$b$这一限制。而上下文无关文法规定其左部只能是单一的非终结符，这就意味着非终结符通过文法规则的拓展性重写是相互独立的，不受其他符号影响。

3型文法

在２型文法的基础上，满足：$A \to a | aB（右线性） A \to a|Ba（左线性）$。

又称为正规文法，或正则文法，用于描述正则语言。识别器为有限状态自动机（FA, Finate Automat）。
３型文法表示形式高度受限，使得正则语言可以使用有限状态机程序自动进行分析。

面向正则语言的有限状态自动机以文法左部的非终结符作为当前状态，文法右部的终结符作为输入，文法右部的非终结符作为下一状态，若终结符后没有非终结符，则自动机在此处处于结束状态，停机。若输入结束后自动机处于结束状态，则输入合法，否则不合文法。

文法／语言之间的关系

$L_3 \subset L_2 \subset L_1 \subset L_0$
$正则文法\subset 上下文无关文法\subset 上下文有关文法\subset　无限制文法$
$正规语言\subset 上下文无关语言\subset 上下文有关语言\subset递归可枚举语言$