編譯原理二義性文法分析表特點
㈠ 如何消除二義性 編譯原理
1、需要在語法設計時就要考慮了，即使是C/C++也存在二義性、不確定性的語法，對於這種情況，各編譯器考慮的不同的方案，主要還是看你如何進行文法分析，可以選一種方便分析的一種去做。
2、要判斷二義性的存在，可以嘗試使用不同的優先順序解釋
假如解釋出現歧義，那麼一定存在二義性的語法（如經典的++運算）
3、要消除二義性，最簡單可行的就是定義優先順序，不過不一定適合所有情況。
㈡ 編譯原理全部的名詞解釋
書上有別那麼懶!.
編譯過程的六個階段：詞法分析,語法分析,語義分析,中間代碼生成,代碼優化,目標代碼生成
解釋程序：把某種語言的源程序轉換成等價的另一種語言程序——目標語言程序,然後再執行目標程序.解釋方式是接受某高級語言的一個語句輸入,進行解釋並控制計算機執行,馬上得到這句的執行結果,然後再接受下一句.
編譯程序：就是指這樣一種程序,通過它能夠將用高級語言編寫的源程序轉換成與之在邏輯上等價的低級語言形式的目標程序(機器語言程序或匯編語言程序).
解釋程序和編譯程序的根本區別：是否生成目標代碼
句子的二義性（這里的二義性是指語法結構上的.）:文法G[S]的一個句子如果能找到兩種不同的最左推導(或最右推導),或者存在兩棵不同的語法樹,則稱這個句子是二義性的.
文法的二義性:一個文法如果包含二義性的句子,則這個文法是二義文法,否則是無二義文法.
LL(1)的含義：(LL(1)文法是無二義的； LL(1)文法不含左遞歸)
第1個L：從左到右掃描輸入串 第2個L：生成的是最左推導
1 ：向右看1個輸入符號便可決定選擇哪個產生式
某些非LL(1)文法到LL(1)文法的等價變換: 1. 提取公因子 2. 消除左遞歸
文法符號的屬性:單詞的含義,即與文法符號相關的一些信息.如,類型、值、存儲地址等.
一個屬性文法(attribute grammar)是一個三元組A=(G, V, F)
G：上下文無關文法.
V：屬性的有窮集.每個屬性與文法的一個終結符或非終結符相連.屬性與變數一樣,可以進行計算和傳遞.
F：關於屬性的斷言或謂詞(一組屬性的計算規則)的有窮集.斷言或語義規則與一個產生式相聯,只引用該產生式左端或右端的終結符或非終結符相聯的屬性.
綜合屬性:若產生式左部的單非終結符A的屬性值由右部各非終結符的屬性值決定,則A的屬性稱為綜合屬
繼承屬性:若產生式右部符號B的屬性值是根據左部非終結符的屬性值或者右部其它符號的屬性值決定的,則B的屬性為繼承屬性.
(1)非終結符既可有綜合屬性也可有繼承屬性,但文法開始符號沒有繼承屬性.
(2) 終結符只有綜合屬性,沒有繼承屬性,它們由詞法程序提供.
在計算時： 綜合屬性沿屬性語法樹向上傳遞；繼承屬性沿屬性語法樹向下傳遞.
語法制導翻譯：是指在語法分析過程中,完成附加在所使用的產生式上的語義規則描述的動作.
語法制導翻譯實現：對單詞符號串進行語法分析,構造語法分析樹,然後根據需要構造屬性依賴圖,遍歷語法樹並在語法樹的各結點處按語義規則進行計算.
中間代碼（中間語言）
1、是復雜性介於源程序語言和機器語言的一種表示形式.
2、一般,快速編譯程序直接生成目標代碼.
3、為了使編譯程序結構在邏輯上更為簡單明確,常採用中間代碼,這樣可以將與機器相關的某些實現細節置於代碼生成階段仔細處理,並且可以在中間代碼一級進行優化工作,使得代碼優化比較容易實現.
何謂中間代碼：源程序的一種內部表示,不依賴目標機的結構,易於代碼的機械生成.
為何要轉換成中間代碼:(1)邏輯結構清楚；利於不同目標機上實現同一種語言.
(2)便於移植,便於修改,便於進行與機器無關的優化.
中間代碼的幾種形式：逆波蘭記號 ,三元式和樹形表示 ,四元式
符號表的一般形式：一張符號表的的組成包括兩項,即名字欄和信息欄.
信息欄包含許多子欄和標志位,用來記錄相應名字和種種不同屬性,名字欄也稱主欄.主欄的內容稱為關鍵字（key word）.
符號表的功能：（1）收集符號屬性 (2) 上下文語義的合法性檢查的依據： 檢查標識符屬性在上下文中的一致性和合法性.(3)作為目標代碼生成階段地址分配的依據
符號的主要屬性及作用：
1. 符號名 2. 符號的類型 （整型、實型、字元串型等））3. 符號的存儲類別（公共、私有）
4. 符號的作用域及可視性 （全局、局部） 5. 符號變數的存儲分配信息 （靜態存儲區、動態存儲區）
存儲分配方案策略：靜態存儲分配；動態存儲分配：棧式、 堆式.
靜態存儲分配
1、基本策略
在編譯時就安排好目標程序運行時的全部數據空間,並能確定每個數據項的單元地址.
2、適用的分配對象：子程序的目標代碼段；全局數據目標（全局變數）
3、靜態存儲分配的要求：不允許遞歸調用,不含有可變數組.
FORTRAN程序是段結構,不允許遞歸,數據名大小、性質固定. 是典型的靜態分配
動態存儲分配
1、如果一個程序設計語言允許遞歸過程、可變數組或允許用戶自由申請和釋放空間,那麼,就需要採用動態存儲管理技術.
2、兩種動態存儲分配方式：棧式,堆式
棧式動態存儲分配
分配策略：將整個程序的數據空間設計為一個棧.
【例】在具有遞歸結構的語言程序中,每當調用一個過程時,它所需的數據空間就分配在棧頂,每當過程工作結束時就釋放這部分空間.
過程所需的數據空間包括兩部分
一部分是生存期在本過程這次活動中的數據對象.如局部變數、參數單元、臨時變數等；
另一部分則是用以管理過程活動的記錄信息(連接數據).
活動記錄（AR）
一個過程的一次執行所需要的信息使用一個連續的存儲區來管理,這個區 (塊)叫做一個活動記錄.
構成
1、臨時工作單元；2、局部變數；3、機器狀態信息；4、存取鏈；
5、控制鏈；6、實參；7、返回地址
什麼是代碼優化
所謂優化,就是對代碼進行等價變換,使得變換後的代碼運行結果與變換前代碼運行結果相同,而運行速度加快或佔用存儲空間減少.
優化原則：等價原則：經過優化後不應改變程序運行的結果.
有效原則：使優化後所產生的目標代碼運行時間較短,佔用的存儲空間較小.
合算原則：以盡可能低的代價取得較好的優化效果.
常見的優化技術
(1) 刪除多餘運算(刪除公共子表達式) (2) 代碼外提 +刪除歸納變數+ (3)強度削弱; (4)變換循環控制條件 (5)合並已知量與復寫傳播 (6)刪除無用賦值
基本塊定義
程序中只有一個入口和一個出口的一段順序執行的語句序列,稱為程序的一個基本塊.
給我分數啊.
㈢ 編譯原理 正則語言 二義文法 急~
這個沒有一個好老師，自己咬文嚼字看懂是很累的
二義性文法
【定義】 若文法中存在這樣的句型，它具有兩棵不同的語法樹，則稱該文法是二義性文法。
二義性文法會引起歧義，應盡量避免之！
G(E)：E -> E+E | E*E | (E) | i
這兩種展開
E E
E + E E * E
i E * E E + E i
i i i i
都可以表示i+i*i
所以;文法具有二義性。
㈣ 編譯原理-語法分析詳解
深入解析編譯原理：語法分析的核心與策略
探索語法分析的世界，從基礎到進階，我們逐一探討編譯原理的基石——從詞法分析到自頂向下與自底向上策略，以及關鍵概念如FIRST集、FOLLOW集和LR分析法。
1. 語法分析基礎
語法分析是編譯器的心臟，它確保輸入的單詞序列遵循預定義的規則。理解語言、文法和產生式的基本概念至關重要，詞法分析是語法分析的墊腳石，負責解析輸入的最小單元。
2. 自頂向下與自底向上分析
自頂向下的分析策略可能遇到二義性問題，例如id+id*id，通過調整優先順序，雖然解決了二義性，但可能導致產生式數量激增。相反，自底上分析則從輸入序列尋找句柄，如移進-歸約過程。
3. 解決策略
消除二義性和左遞歸
- 二義性通過文法結構的清晰化得以解決，不詳述具體操作。
- 左遞歸通過引入新變數消除公共前綴，避免無限推導。
LL(1)文法與SELECT集
- LL(1)文法的關鍵在於每個A的候選產生式中，第一個終結符各不相同。通過計算FIRST集、FOLLOW集，判斷文法的可行性。
4. 自底向上分析的實例
- 移進-歸約：預測分析法構造分析器，通過優先矩陣或優先函數確定歸約路徑。
- 遞歸下降法：盡管直觀，但效率較低，適用於特定文法結構。
- 自底上分析：如LR(k)分析，引入項目概念，規范歸約，處理所有上下文無關文法。
5. LR分析法的細節
LR分析涉及ACTION表和GOTO表，控制分析過程。LR(0)簡化了分析，而LR(1)和LALR(1)則提供了優化。理解DFA、項目集和閉包的概念是LR分析的核心。
6. 實踐中的策略選擇
在設計文法時，要留意FOLLOW集和上下文的影響。SLR(1)與LR(1)之間的差異，一個強調前瞻，一個考慮當前語境，各有優缺點。深入學習這些概念，能幫助你更好地理解編譯原理的復雜性和靈活性。
總的來說，語法分析是編譯原理中不可或缺的一環，掌握其原理和策略將為理解和實現高效編譯器奠定基礎。繼續深入研究，將揭示更多關於語言結構和分析器設計的奧秘。
㈤ 編譯原理筆記9：語法分析樹、語法樹、二義性的消除
語法分析樹和語法樹不是一種東西 。習慣上，我們把前者叫做「具體語法樹」，其能夠體現推導的過程；後者叫做「抽象語法樹」，其不體現過程，只關心最後的結果。
語法分析樹是語言推導過程的圖形化表示方法。這種表示方法反映了語言的實質以及語言的推導過程。
定義：對於 CFG G 的句型，分析樹被定義為具有下述性質的一棵樹：
推導，有最左推導和最右推導，這兩種推導方式在推導過程中的分析樹可能不同，但因最終得到的句子是相同的，所以最終的分析樹是一樣的。
分析樹能反映句型的推導過程，也能反映句型的結構。然而實際上，我們往往不關心推導的過程，而只關心推導的結果。因此，我們要對 分析樹 進行改造，得到 語法樹 。語法樹中全是終結符，沒有非終結符。而且語法樹中沒有括弧
定義：
說白了，語法樹這玩意，就一句話： 葉子全是操作數，內部全是操作符 ，樹里沒有非終結符也不能有括弧。
語法樹要表達的東西，是操作符（運算）作用於操作數（運算對象）
舉倆例子吧：
【例】： -(id+id) 的語法樹：
【例】：-id+id 的語法樹：
顯然，我們從上面這兩個語法樹中，直接就能觀察出來它們的運算順序。
【例】：句型 if C then s1 else s2
二義性問題：一個句子可能對應多於一棵語法樹。
【例】： 設文法 G： E → E+E | E*E | (E) | -E | id
則，句子 id+id*id、id+id+id 可能的分析樹有：
在該例中，雖然 id+id+id 的 「+」 的結合性無論左右都不會影響結果。但萬一，萬一「+」的含義變成了「減法」，那麼左結合和右結合就會引起很大的問題了。
我們在這里講的「二義性」的「義」並非語義——我們現在在學習的內容是「語法分析器」，尚未到需要研究語言背後含義的階段。
我們現在講的「二義性」指的是一個句子對應多種分析樹。
二義性的體現，是文法對同一句子有不止一棵分析樹。這種問題由【句子產生過程中的某些推導有多於一種選擇】引起。懸空 else 問題就可以很好地體現這種【超過一種選擇】帶來的二義性問題，示例如下。
看下面這么個例子。。
（其實，我感覺這個其實比較像是「說話大喘氣」帶來的理解歧義問題。。。）上面的產生式中並沒體現出來該咋算分一塊，所以兩種完全不同的句子結構都是合法的。
二義性問題是有救的，大概有以下這三種辦法：
這些辦法的核心，其實都是將優先順序和結合性說明白。
核心：把優先順序和結合性說明白
既然要說明白，那就不能讓一個非終結符可以直接在當次推導中能推出會帶來優先順序和結合性歧義的東西。（對分析樹的一個內部節點，不會有出現在其下面的分支是相同的非終結符的情況。如果有得選，那就有得歧義了。沒得選才能確定地一路走到黑）
改寫為非二義文法的二義文法大概有下面這幾個特點：
改寫的關鍵步驟：
【例】改寫下面的二義文法為非二義文法。圖右側是要達成的優先順序和結合性
改寫的核心其實就兩句話：
所以能夠得到非終結符與運算的對應關系（因為不同的運算有不同的優先順序，我們想要引入多個優先順序就要引入多個新的非終結符。這樣每個非終結符就可以負責一個優先順序的運算符號，也就是說新的非終結符是與運算有關系的了。因此這里搞出來了「對應關系」四個字）如下：
優先順序由低到高分別是 +、 、-，而距離開始符號越近，優先順序越低。因此在這里的排序也可以+ -順序。每個符號對應一層的非終結符。根據所需要的結合性，則可確定是左遞歸還是右遞歸，以確定新的產生式長什麼樣子
【例】：規定優先順序和結合性，寫出改寫的非二義文法
我們已經掌握了一種叫做【改寫】的工具，能讓我們消除二義性。接下來我們就要用這個工具來嘗試搞搞懸空 else 問題！
懸空 else 問題出現的原因是 then 數量多於 else，讓 else 有多個可以結合的 then。在二義文法中，由於選哪兩個 then、else 配對都可以，故會引起出現二義的情況。在這里，我們規定 else 右結合，即與左邊最靠近的 then 結合。
為改寫此文法，可以將 S 分為完全匹配（MS）和不完全匹配（UMS）兩類。在 MS 中體現 then、else 個數相等即匹配且右結合；在UMS 中 then、else 不匹配，體現 else 右結合。
【例】：用改寫後的文法寫一個條件語句
經過檢查，無法再根據文法寫出其他分析樹，故已經消除了二義性
雖然二義文法會導致二義性，但是其並非一無是處。其有兩個顯著的優點：
在 Yacc 中，我們可以直接指定優先順序、結合性而無需自己重寫文法。
left 表示左結合，right 表示右結合。越往下的算符優先順序越高。
嗯就這么簡單。。。
我們其實可以把語言本身定義成沒有優先順序和結合性的。。然後所有的優先、結合都交由括弧進行控制，哪個先算就加括弧。把一個過程的結束用明確的標志標記出來。
比如在 Ada 中：
在 Pascal 中，給表達式加括弧：
㈥ 編譯原理中文法二義性問題
二義性文法
【定義】 若文法中存在這樣的句型，它具有兩棵不同的語法樹，則稱該文法是二義性文法。
二義性文法會引起歧義，應盡量避免之！
E E
E + E E * E
i E * E E + E i
i i i i
都可以表示i+i*i
所以G(E)：E -> E+E | E*E | (E) | i ;文法具有二義性。
文法二義性的消除：
【方法1】不改變文法的原有規則,加進一些非形式規定。
加進運算符的優先順序和結合規則對G(E)，規定*優於+，*和+服從左結合
【方法2】構造一個等價的無二義性文法，將排除 二義性的規則合並到文法中
G(E) -> G´(E) : E -> E+T | T T -> T*F | F F -> (E) | i ;