編譯原理沖突圖的定義

⑴ 計算機科學與技術中編譯原理簡答題

時間有點久記得不太真切，用通俗語言說，希望題主盡量查閱書籍參考資料自行驗證理解。

1、什麼是移進項目，什麼是規約項目

這個是自頂向下和自下向上分析時候用到的。所謂移進就是不處理，所謂規約就是處理，合並，替換。比如當前符合某個正規式左部，就用這個正規式右部替換左部，稱為規約。兩種操作的目的都是為了分析整體是否符合語法樹。

2、請給出生成C語言語句序列的文法（假定s表示任意一個語句，它為終結符）

關於這個，我感覺你描述的不是很清楚，因為C語言文法包含的正規式還是挺多的，如果單指statement的話，
statement_listà
statement
| statement_list statement

Statementà
| compound_statement
| expression_statement
| selection_statement
| iteration_statement
| jump_statement
再配合上相應的終結符。

3、能用上下文無關文法生成正規集嗎？為什麼？

可以。不過無法保證不含沖突。

4、計算first集和follow集對於構造自頂向下的語法分析器有什麼作用？

可以用來排除沖突。例如移進-移進沖突，移進-規約沖突。

5、是否可能存在這樣一個DFA，它的所有狀態都是接受狀態，包括其實狀態，為什麼？

這個愛莫能助，據我的構想是可以的，但是這樣的DFA最終都會成為單一狀態DFA。

⑵ C語言中變數為什麼不能重復定義，我想問一下C語言裡面的具體的機制。

因為定義就意味著給變數分配空間。暫不管重復定義有可能產生空間分配不合理的問題，首先變數名就是一個地址，只不過這個地址是由系統分配的，定義後，地址分出來，存儲空間也被分配出來，變數名--地址就被固定下來。重復定義的話就要分出新地址，分配新的存儲空間，原來的變數名--地址，與後來的變數名--地址，產生沖突，一樣的名字，卻是不同的地址，這是不允許的。
但是這種問題只會出現在標識符的鏈接屬性一樣的情況下，可以簡單的理解為在同一個作用域重復定義是不可以的。如果在兩個函數里分別定義int a，這種定義是可以的。因為這個a處於不同的作用域，就不算是重復定義了。
以上屬於自己的理解，歡迎指正。

⑶ 編譯原理——LR分析表

自底向上的語法分析

LR分析表的結構如上，其分為兩個部分 Action Goto

兩個參數狀態i，終結符號a（s(i)代表第i個狀態，r(i)代表第i條表達式）

Goto[i,A]=j

文法

容易得知這個文法可以推出 0 1 00 01 等的字元串。因為它是 左遞歸 。不適用於 LL 文法分析，只能使用 LR 分析。

因為本題入口有兩個—— S → L·L S → L ，所以需要構造額外的產生式 S'->S

2.1 第一次遍歷

我們從 [S -> . L·L] 開始，構造這個狀態的閉包，也就是加上所有能從這個產生式推出的表項。

首先，判斷 . 後面是否為 非終結符號A 。如果是，那我們就得找所有由 A-> 推出的產生式，並將它們添加進入 閉包 里(也就是State包里)。循環做即可。

因此我們可以得到 State 0 有

下一步，就是我的 . 往下一位移動。對每個符號X後有個 . 的項，都可以從 State 0 過渡到其他狀態。

由以上6條式子可以得知下一位符號可以是 S L B 0 1 。所以自然可以得到5個狀態。

State 1 是由 State 0 通過 S 轉移到這里的，所以我們找出所有 State 0 中在 S 前有 . 的項。

此狀態作為結束狀態 Accept ，不需要繼續狀態轉移了。

State 2 是由 State 0 通過 L 轉移到這里的，所以我們找出所有 State 0 中在 L 前有 . 的項。

S -> . L·L S -> . L L -> . LB

有3條式子，現在我們將 . 向後推一格，就得到 State 1 的項了。

但是 . 之後的符號分別是 · $ B ， B 為非終結符號，我們得包含 B -> 的項

State 3 是由 State 0 通過 B 轉移到這里的，所以我們找出所有 State 0 中在 B 前有 . 的項。

因為 . 後沒有其他符號了，因此這個狀態不需要繼續轉移了。

State 4 是由 State 0 通過 0 轉移到這里的，所以我們找出所有 State 0 中在 0 前有 . 的項。

因為 . 後沒有其他符號了，因此這個狀態不需要繼續轉移了。

很簡單，同樣的道理找 State 5

State 5 是由 State 0 通過 1 轉移到這里的，所以我們找出所有 State 0 中在 1 前有 . 的項。

因為 . 後沒有其他符號了，因此這個狀態不需要繼續轉移了。

好的，現在我們第一次遍歷完成。

2.2 第二次遍歷

第二次遍歷自然從 State 2 開始。

我們回到 State2 ，可以看出 . 之後的符號有 · B 0 1 。

State 6 是由 State 2 通過 · 轉移到這里的，所以我們找出所有 State 2 中在 · 前有 . 的項。

S -> L. ·L 只有1條，我們往後移發現 L 又為非終結符號，參考 State 0 做的操作，我們得找出所有的式子。

共有5條式子，共同組成 State 6 ，由上面的式子可以看出我們還得繼續下一次遍歷。先不管著，我們進行下一次狀態查找。

State 7 是由 State 2 通過 B 轉移到這里的，所以我們找出所有 State 2 中在 B 前有 . 的項。

L -> L. B 也是只有1條，我們往後移發現沒有非終結符號了，那就不需要再繼續添加其他式子了。

這個狀態也不需要繼續進行轉移了。

接下來很關鍵，因為我們通過 State2 的 . 後的符號找出了 State 6 State 7 ，接下來還差符號 0 1 ，那麼是否像之前一樣按例添加狀態呢， 答案是不是的 ，因為我們發現通過 0 1 找到的閉包集分別是 B -> 0 B -> 1 ，這與我們的之前的 State 4 State 5 相同。所以我們得將其整合起來，相當於 State 2 通過 0 1 符號找到了 State 4 State 5 狀態。

2.3 第三次遍歷

回頭看第二次遍歷，可以看出只有 State 6 可以進行狀態轉移了。

那麼就將 State 6 作為第三次遍歷的源頭，可以看出 . 之後的符號有 L B 0 1 。

State 8 是由 State 6 通過 L 轉移到這里的，所以我們找出所有 State 6 在 L 前有 . 的項。

S -> L· .L L -> . LB 有兩條式子，往後移發現有非終結符號 B ，所以經過整合可以得到

可以看出 . 的後面還有一個符號，所以這里我們還得再進行一次遍歷。

接下來，又是遇到重復的包的情況，可以看出我們由 State 6 通過 B 0 1 得到的閉包分別是 L->B B->0 B->1 ，很明顯，這分別對應於 State 3 State 4 State 5 。

第三次遍歷也就結束了。

2.4 第四次遍歷

回看第三次遍歷，可以看出只有 State 8 可以進行狀態轉移，其 . 之後的符號分別是 B 0 1 。

誒，感覺很熟悉，就是上面幾行剛說的情況，也就是說通過這三個符號找到的閉包是我們之前遇到的狀態，分別是 State 3 State 4 State 5 。

做到這里，我們發現我們已經全部遍歷完畢！

總共有8個狀態，通過以上流程做成個圖是什麼樣子的？來看看！

這么一看就很清晰明了了，我們就可以通過這個圖做出我們的 LR分析表

其實就是我們之前呈現的表

在狀態 I2 和 I8 中，既有 移入 項目，也有 規約 項目，存在 移入 - 規約的沖突 ，所以不是 LR(0) 文法，但是因為 FOLLOW(S) ∩ {0, 1} = ∅，所以可以用 FOLLOW 集解決沖突，所以該文法是 SLR(1) 文法。

上表我們發現還有 r1，r2，r3 等。這個其實就是代表狀態停止轉移時為 第幾條表達式 ，r3代表第三條表達式 L -> LB 。

當我們構建了表之後，我們如何運用起來呢？

下面我們通過一個例子來說明

以上字元串是如何被SLR分析器識別的呢？