【定義】
文法G定義為四元組(VN欠肾,VT,P蝴罪,S)
其中VN? :非終結符號(即語法變量)集
? ? ? ? VT? : 終結符號集
? ? ? ???????????? VN∩VT =Φ董济,令V= VN∪VT,V稱為文法G的字母表或字匯表要门。
? ? ? ? P? :產(chǎn)生式(α→β)集
? ????? S :開始符號虏肾,且S∈VN ,S至少要在一條規(guī)則的左部出現(xiàn)欢搜。
【約定】
一般地封豪,文法G的四元組不用全部給出,而只將產(chǎn)生式寫出炒瘟。
約定:
????(1)第一條產(chǎn)生式的左部是開始符號
????(2)用尖括號括起來的(或大寫字母)是非終結符號
????(3)不用尖括號括起來(或小寫字母)是終結符號
????(4)還有一種習慣寫法吹埠,即G[S],其中S是開始符號疮装。
【舉例】
????例: G=(VN缘琅,VT,P廓推,S)
? ? ? ? ? ?其中? VN={S}刷袍,
? ? ? ? ? ?VT ={0,1}樊展,
? ? ? ? ? ?P={S→0S1呻纹,S→01}
? ? ? ? ? ?S是開始符號