A. 編譯原理筆記17：自下而上語法分析（4）LR(0)、SLR(1) 分析表的構造
（移進項目就是納凱態指圓點右邊是終結符的項目，規約項目指的就是圓點在右部最右端的項目）
LR(0) 文法可以直接通過識別活前綴的 DFA 來構造 LR 分析表
假定 C = {I 0 , I 1 , ... , I n } （aka. LR(0) 項目規范族、DFA 狀態集）
首先為文法產生式進行編號，拓廣文法的產生式要標記為 0（這里就是後面分析表中 rj 的產生式編號 j 的由來）
然後令每個項目集 I k 的下標 k 作為分析器洞源的狀態（行首），包含 S' → .S 的集合下標為分析器的初態（也就是 DFA 的初態孫型，一般都是 0 ）。
下面用一個例子來說明 ACTION、GOTO 子表的構造：
SLR(1) 為解決沖突提出了一個簡單的方法：通過識別活前綴的 DFA 和【簡單向前看一個終結符】構造 SLR(1) 分析表。
如果我們的識別活前綴的 DFA 中存在移進-規約沖突、規約-規約沖突，都可以嘗試使用這個方法來解決沖突。（這里說【嘗試】，當然是因為 SLR 也只能解決一部分問題，並不是萬能的靈丹妙葯。。）
這里，我們拿前面那個 LR(0) 解決不了的文法來舉例
該文法不是 LR(0) 文法，但是是 SLR(1) 文法。
觀察上圖 DFA 中的狀態2，想像當我們的自動機正處於這個狀態：次棧頂已經規約為 T 了，棧頂也是當前的狀態 2 ，而當前剩餘輸入為 *。
如果這個自動機不會【往前多看一步】的話，那麼對處於這個狀態的自動機來說，看起來狀態 2 中的移進項目和規約項目都是可選的。這就是移進-規約沖突。
想要解決這個沖突，就輪到【往前多看一步】上場了——把當前剩餘輸入考慮進來，輔助進行項目的選擇：
對其他的沖突也使用同樣的方法進行判斷。
這種沖突性動作的解決辦法叫做 SLR(1) 解決辦法
准備工作部分，與 LR(0) 分析表的構造差不多：同樣使用每個項目集的狀態編號作為分析器的狀態編號，也就同樣用作行下標；同樣使用拓廣文法產生式作為 0 號產生式。
填表也和 LR(0) 類似，唯一的不同體現在對規約項的處理方法上：如果當前狀態有項目 A → α.aβ 和 A → α. ，而次棧頂此時是 α 且讀寫頭讀到的是 a，那麼當且僅當 a∈FOLLOW(A) 時，我們才會用 A → α 對 α 進行規約。
如果構造出來的表的每個入口都不含多重定義（也就是如上圖中表格那樣的，每個格子裡面最多隻有一個動作），那麼該表就是該文法的 SLR(1) 表，這個文法就是 SLR(1) 文法。使用 SLR(1) 表的分析器叫做一個 SLR(1) 分析器。
任意的二義文法都不能構造出 SLR(1) 分析表
例：懸空 else
例：
這里的 L 可以理解為左值，R 可以理解為右值
經過計算可以確定其 DFA 如下圖所示。
在 狀態4 中，由於 "=" 同時存在於 FOLLOW(L) 與 FOLLOW(R) 中，因此該狀態內存在移進-規約沖突，故該文法不是 SLR(1) 文法。
這樣的非二義文法可以通過增加向前看終結符的個數來解決沖突（比如LL(2)、LR(2)）但這會讓問題更加復雜，故一般不採用。而二義文法無論向前看多少個終結符都無法解決二義性。
B. 編譯中c函數沖突怎麼辦
把自己的函數換個名字，或者在想辦法把unistd.h中的聲明屏蔽掉，或者乾脆不用huistd.h。