编译原理：四种文法的比较

编译原理：四种文法的比较

0型文法-短语文法

表示方法：四元式$(V_T,V_N,S,P)$

• (终结符集合，非终结符集合，开始符号，产生式集合)

这四个文法都是采用的四元式，有区别的地方在于产生式$\alpha \to \beta$

对于0型文法$\alpha \to \beta$

• $\alpha \in (V_T\cup V_N{)}^{\ast }$且$\alpha$必含有至少一个非终结符

• $\beta \in (V_T\cup V_N{)}^{\ast }$

1型文法-上下文有关文法

对于1型文法$\alpha \to \beta$

• $\alpha \in (V_T\cup V_N{)}^{\ast }$且$\alpha$必含有至少一个非终结符

• $\beta \in (V_T\cup V_N{)}^{\ast }$

• $|\alpha |<|\beta |$

  • 绝对值代表长度
  • $S\to \epsilon$除外

2型文法-上下文无关文法

对于2型文法$A\to \beta$

• $A\in V_N$

• $\beta \in (V_T\cup V_N{)}^{\ast }$

• $|\alpha |<|\beta |$

  • 绝对值代表长度
  • $S\to \epsilon$除外

最左推导

任何一步$\alpha \Rightarrow \beta$都是对$\alpha$中的最左非终结符进行替换

最右推导

任何一步$\alpha \Rightarrow \beta$都是对$\alpha$中的最右非终结符进行替换

3型文法-正规文法

对于3型文法

• 左线性文法$A\rightarrow B \alpha $或$A\rightarrow\alpha$

• 右线性文法$A\to \alpha B$或$A\to \alpha$

• $\alpha \in (V_T{)}^{\ast }$

• $A,B\in V_N$

对四种文法的总结

0型文法限制最少，只要产生式左边存在非终结符即可。

1型文法在0型文法的基础上要求产生式左边的长度小于右边的长度。

2型文法在1型文法的基础上要求产生式左边全是非终结符

3型文法的限制最多，在2型文法的基础上对产生式右边也进行了限制，要求右边是一个终结符或者一个终结符+一个非终结符这样子的形式