<aside>

0 短语结构文法 PSG 短语结构语言 PSL 递归可枚举集(递归论)

1 上下文相关文法 CSG $|\alpha|\le |\beta|$ $yAz\to y\omega z.\omega\in(\Sigma UV)^+$

2 上下文无关文法 CFG $A\to \beta ,|\beta|>0$ $|\alpha|\le|\beta|, \alpha \in V$

3型文法 右线性文法 正则文法 RLG/RG

对任意$\alpha\to\beta\in P$有形式 $A\to \omega \ or\ A\to \omega B$, $\omega \in \Sigma^+$

</aside>