文法分析
文法的分類:
0型文法:
\(\forall \alpha \rightarrow \beta \in P , \alpha\) 中至少包含1個非終結符 (無限制文法)
1型文法:\((CSG)\)
$\forall \alpha \rightarrow \beta \in P ,\ \ \ \ \ |\alpha| \leq |\beta| $
產生式的一般表示式: $\alpha_1A\alpha_2 \rightarrow \alpha_1\beta\alpha_2 \ \ \ \ (\beta \not = \epsilon) $
2型文法:\((CFG)\)
\(\alpha \in V_N\ \ (非終結符)\)
產生式的左部是一個非終結符
3型文法:\((RG)\)
$ A \rightarrow wB \ 或 A\rightarrow w \ \ \ (A \rightarrow Bw \ 或 A\rightarrow w) $