文法的定義
一個文法G是一個四元組：G(
,
,S,P)
：一個非空有限的終極符號集合。它的每個元素稱為終極符號或終極符，一般用小寫字母表示。終極符號是一個語言不可再分的基本符號。
：一個非空有限的非終極符號集合。它的每個元素稱為非終極符號或非終極符，一般用大寫字母表示。
V是文法G的符號集，則V=∪，∩=
S：一個特殊的非終極符號，稱為文法的開始符號或識別符號，
。開始符號S必須至少在某個產生式的左部出現一次。
P：產生式的有限集合。
產生式：也成為產生規則或簡稱為規則
產生式形式：α->β等，其中α稱為產生式的左部，α
，并且至少含有一個非終極符；β稱為產生式的右部，β
；->或::=讀作定義為或由...組成。
（α是由β組成的）
?
文法分類
