前端編譯原理 筆記 BISON

2022-01-18 00:03:54 字數 1329 閱讀 2635

bsion文件,下面是中文的位址  

上面的是左遞迴,下面的是右遞迴,推薦的是盡量左遞迴的寫法

使用%left,%right或者%nonassoc 可以一次宣告乙個記號並指明它的優先順序和結合性. 這些被稱做優先順序宣告(precedence declarations)

解決中衝突的方法是比較正在考慮的規則和超前掃瞄記號的優先順序. 如果超前掃瞄記號的優先順序更高,那麼選擇移進. 如果規則的優先順序更高,那麼選擇歸約. 如果它們有相同的優先順序, 那麼靠那個優先順序的結合性來作出選擇

這裡我們假定if,thenelse是用來指定關鍵字的終結符.

else被讀入成為超前掃瞄記號, 棧中的內容(假定輸入是有效的)剛好可以由第乙個規則進行歸約. 但是移進else也是合法的, 因為這最終將會導致由第二個規則進行的歸約.

這種情況,移進或者歸約都是有效的,被稱為移進/歸約衝突(shift/reduce conflict). bison被設計成選擇移進來解決這些衝突, 除非有其它的操作符優先順序的指導

乙個操作符的優先順序通常依賴於上下文. 這最開始聽起來很古怪,但它的確很常見.乙個負號操作符有比一元操作符更高的優先順序並且比二進位制操作符的優先順序稍低(低於乘法). 

沒怎麼看明白,主要是2種狀態不能區分,要麼就是修改語法看看能不能更完善,要麼就是下面的推薦

當問題產生時, 你通常可以通過指明兩個被混淆的分析器狀態 並且新增使它們看起來截然不同的額外的東西 來修補它, 在上面的例子中, 如下地向return_spec新增乙個規則會消除這個問題:

這樣做改正這個問題, 因為在return_spec開始部分id後的上下文中引進了乙個可能的額外的活動規則. 這個規則在param_spec相應的上下文中並不是活動的, 所以兩個上下文接受了不同的分析器狀態. 只要yylex永遠不產生記號bogus, 新增的規則就不能改變分析輸入的實際方法.

編譯原理之 Bison 原始檔結構原理

0x01 參考 我們需要按照bison的要求,書寫bison的源程式 gramma.y 然後由bison把它翻譯為c檔案。因此,bison是編譯程式的翻譯器。bison的原始檔通常由八個部分組成 一.自由定義部分 這部分被bison原封不動地複製到輸出的.c檔案中。二 語法棧的聯合 union 結構...

編譯原理 Lex和Bison實現計算器

實現以下步驟,掌握 flex 和 bison 的工作過程 a 在 dos 命令提示符下依次執行以下兩行命令 flex calc.lex bison ocalc.c calc.y b 編譯執行 calc.c 編譯執行完後 題目要求 用 flex 和 bison 實現乙個功能更為強大的計算器,包含以下運...

編譯原理前端技術

理解 編譯器的前端技術 編譯器的 前端 技術分為詞法分析 語法分析和語義分析三個部分 主要涉及自動機和形式語言方面的基礎的計算理論 編譯器的第一項工作叫做詞法分析 文章是由乙個個的中文單詞組成的,程式處理也一樣,只不過這裡不叫單詞,而是叫做 詞法記號 英文叫 token 如何寫乙個程式來識別 tok...