根據形式語言理論的創立者喬姆斯基(chomsky)的定義，形式語言的文法分為四種：
0型文法 g=
(vn,
vt,p
,s) ，如果產生式α→
β 中，α∈
(vn⋃
vt)∗
且至少有乙個非終結符，β∈
(vn⋃
vt)∗
，那麼g就是乙個0型文法。
1型文法（上下文相關文法）
在0型文法的基礎上，規定對每乙個α→
β ，都有|β
|≥|α
| 2型文法（上下文無關文法）
在1型文法的基礎上滿足每乙個α→
β 中
α 為非終結符。
3型文法
在2型的基礎上滿足右線性或者左線性。
第乙個l指left to right，第二個l指leftmost derivation），數字1表示需要向前看1個字元才能確定用哪乙個產生式。
編譯原理實驗 LL（1）文法
目標任務 實現 ll 1 分析中控制程式 表驅動程式 完成以下描述算術表示式的 ll 1 文法的 ll 1 分析程式。g e e te e ate t ft t mft f e i a m 說明 終結符號 i 為使用者定義的簡單變數,即識別符號的定義。compiler3.cpp 定義控制台應用程式的...
LL 1 文法判斷
ll 1 文法判斷 題型 1.判斷該文法是否是ll 1 文法？2.若是，給出它的ll 1 分析表，否則說明理由。概念 對於產生式 a 1.如果 均不能推導出 空語句 則 first first 2.和 至多有乙個能推導出 3.如果 經過0步或多步可以推導出 則 first follow a 關鍵 求...
LL（1）文法解析
一 問題描述 給定上下文無關文法，對其進行解析，得出first集和follow集。在有能力的情況下，可以求出ll 1 分析表。二 演算法設計 本程式主要分成三塊內容，第一是文法的讀入解析，第二是first集的求解，第三為follow集的求解。文法的解析需要根據整行讀入的文法，生成rulelist 表...