編譯原理-語法分析的基本概念

什麼是語法分析?

根據上下文無關文法識別各種語法成分

什麼是文法?文法與語法有什麼區別?上下文無關文法?什麼是上下文無關?

什麼是上下文無關:V->w,字符 V 總可以被字串 w 自由替換,而無需考慮字符 V 出現的上下文。

BNF(巴克斯-諾爾範式)經常用來表達上下文無關文法。

BNF只是文法表示的一種方法,EBNF是擴展的BNF,可以消除左遞歸。

語法可以理解爲P:產生式集合的產生式形式,如A->b;

什麼是自上而下分析法?

 

什麼是左遞歸?

形如這樣的文法 U->Uy

 左遞歸有什麼危害?

會造成死循環

比如:

用EBNF來消除左遞歸: 

 

 例子:

四則運算文法:

E:Expiration

T:Term

i : int型的數字

什麼是LL(1)文法?與BNF的關係是什麼?

對文法G的句子進行確定的自頂向下語法分析的充分必要條件是,G的任意兩個具有相同左部的

產生式A—>α|β 滿足下列條件:

(1)如果α、β均不能推導出ε,則 FIRST(α) ∩ FIRST(β) = ∅。

(2)α 和 β 至多有一個能推導出 ε。

(3)如果 β *═> ε,則 FIRST(α) ∩ FOLLOW(A) = ∅。

將滿足上述條件的文法稱爲LL(1)文法。

概要

第一個L代表從左向右掃描輸入符號串,第二個L代表產生最左推導1代表在分析過程中執行每一步推導都要向前查看一個輸入符號——當前正在處理的輸入符號

LL(1)文法既不是二義性的,也不含左遞歸,對LL(1)文法的所有句子均可進行確定的自頂向下語法分析。

LL(1)語法分析器 :語法分析中的自上而下LL(1)分析法,需要構造求出一個文法的FIRST和FOLLOW集,然後構造分析表,利用分析表+一個棧來做自上而下的語法分析(遞歸下降/預測分析)

語法規範:BNF與ABNF 巴斯克範式

LL(1)語法分析器C++實現 

 參考:https://wenku.baidu.com/view/a22cc5ecf8c75fbfc77db236.html

發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章