LR分析法也是一種“移進—歸約”的自底向上語法分析方法，其本質是規範歸約，具有以下特點：

(1)應用面廣：能夠用LR分析程式識別絕大多數的程式設計語言的語法結構；

(2)實現效率高：雖構造方法複雜，但是實現（執行）效率高。

(3)查錯準確：LR分析器能夠及時發現語法錯誤並準確指出錯誤位置。

LR(k)分析方法中L是指自左(Left)向右掃描輸入單詞串，R指分析過程是最右(Right)推導的逆過程(規範歸約)，k是指在決定當前分析動作時需向前察看的輸入符號個數。

LR(0):構造簡單，適用文法少。是SLR(1)、LR(K)

的基礎。

SLR(1): 是針對LR(0)的一些問題進行改進，簡單的

LR(1)

LR(K): 分析能力強，構造複雜。

一、LR分析器的邏輯結構：

1.整體結構：

(1)在總控程式的控制下，從左到右掃描輸入串，根據分析棧和輸入符號的情況，查分析表確定分析動作；

(2) 分析表是LR分析器的核心，根據文法構造，它包括動作表(Action)和狀態轉換表(Goto)兩部分，總控程式根據分析表確定分析動作；

(3) 分析棧包括文法符號棧X[i]和相應的狀態棧S[i]兩部分，LR分析器通過判斷棧頂元素和當前輸入符號查分析表確定下步分析動作。

規範歸約的關鍵是尋找控制代碼，LR法是根據已“移進”、“歸約”的符號串及即將讀入的符號串進行分析，以確定是否有控制代碼可歸約。

狀態：是對迄今為止的整個分析過程的記錄以及對

即將掃描的輸入串的展望（預測）。

例：S0狀態（開始態）表示當前棧中僅有“#”，且即

將輸入的符號為句首符號。

SN狀態（接受態）表示當前棧中已歸約為開始

符號，且即將輸入的符號應為“#”。

狀態是根據分析表得到的，分析表是由文法構造的。

2.分析表的組成：

二、LR分析過程：

1. 將初始狀態S0和輸入串的左邊界(#)分別進棧；

2. 根據棧頂狀態Si和當前輸入符號a查動作表進行如下工作：

A    β進行歸約，若| β |=n，說明符號棧棧頂的n個符號為控制代碼，所以符號棧棧頂n個符號出棧，A進符號棧 ；同時，狀態棧頂的n個元素也出棧，此時狀態棧頂為Sk，則查Goto [Sk,A]得到新的狀態Sl進狀態棧；

三.LR(0)分析表的構造

事實上：LR分析過程中，任意時刻均應保證棧中符號串是規範句型的活字首，即：棧中絕無控制代碼之後的任何符號。若輸入串為一合法的“句子”，則棧中符號與剩餘輸入串就構成一個規範句型。

因此識別、產生規範句型的活字首就是LR分析器的工作過程。為此，我們需要構造可識別文法所有活字首的有限自動機。

為構造識別文法所有活字首的有限自動機，現定義構成有限自動機中狀態的“專案”

(二) 專案

1.定義：對於文法G，其產生式右部新增一個特殊的符號“.”，就構成文法的一個LR(0)專案，簡稱專案。

(三)構造識別活字首的NFA

根據專案的定義，我們可給出文法中所有產生式的專案，而每個專案都為識別活字首的NFA的一個狀態。即文法有多少個專案，它所對應識別活字首的NFA就有多少個狀態。

1.NFA的構造方法

(1)狀態集：由每個專案所對應的狀態組成的集合；

(2)輸入字元集合：由文法符號組成，包括：

終結符、非終結符和e；

(3)初態：對於文法G[S]的拓廣文法G[S’],有專案S’® . S ,由於S’ 僅在第一個產生式的左部出現，所以規定它為初態；

(4)終態：每個狀態均為NFA的終態（活字首的識別態）。