编译原理：LR(0)分析，一篇带你入门

---

LR（0）分析：自底向上语法分析的基石

一、引言

1.1 语法分析在编译原理中的地位

在编译原理的整个流程中，语法分析是承上启下的关键环节。编译过程通常可分为词法分析、语法分析、语义分析、中间代码生成、代码优化和目标代码生成等阶段。词法分析负责将源程序的字符流转换为一个个单词序列，而语法分析则以词法分析输出的单词序列为输入，依据语言的语法规则，构建出对应的语法树 。语法树直观地展示了源程序的语法结构，为后续的语义分析、代码生成等步骤提供了结构化的基础。如果语法分析出现错误，后续的处理将无法正确进行，因此语法分析的准确性和效率直接影响到整个编译系统的质量。它不仅要能够识别正确的语法结构，还要能对错误的语法结构进行准确诊断和提示，帮助程序员快速定位和修正代码中的语法错误。

1.2 LR（0）分析的重要性与历史意义

LR（0）分析是自底向上语法分析方法中的重要基础。“L”表示从左到右扫描输入串，“R”表示采用最右推导的逆过程（即最左归约），“0”则意味着在分析过程中不需要向前查看输入符号。LR（0）分析的重要性在于它提出了一种系统且形式化的自底向上语法分析思路，通过构造项目集规范族和分析表，能够自动地对输入串进行语法分析。

从历史角度看，LR（0）分析方法的出现极大地推动了语法分析技术的发展。在它之前，语法分析方法多依赖于较为直观但缺乏系统性的手段。LR（0）分析首次将有限自动机和形式化的分析表引入语法分析领域，为后续更强大的语法分析方法，如SLR（1）、LR（1）、LALR（1）等奠定了理论基础。尽管LR（0）分析自身存在局限性，容易产生移进 - 归约、归约 - 归约冲突，但它为语法分析技术的研究指明了方向，促使研究者们不断改进和优化，以解决实际应用中遇到的问题，在编译原理的发展历程中具有里程碑式的意义。

1.3 本文目标与受众

本文旨在深入且全面地介绍LR（0）分析方法，帮助读者系统地理解LR（0）分析的基本概念、核心原理、分析表构造过程及其局限性。通过理论讲解、实例分析，让读者不仅掌握LR（0）分析的知识体系，还能理解其在语法分析领域的重要价值和应用场景。

本文的受众主要是计算机科学与技术、软件工程等相关专业的学生，尤其是正在学习编译原理课程的读者。同时，对于从事编译器开发、语言处理系统研究，以及对语法分析技术感兴趣的软件开发人员和技术爱好者，本文也能提供较为详尽的理论知识和实践指导，帮助加深对LR（0）分析方法的理解和运用 。

二、LR（0）分析的基本概念

2.1 什么是LR（0）分析

2.1.1 “L”、“R”与“0”的含义解析

在LR（0）分析中，“L”、“R”、“0”分别有着明确且关键的含义：

• “L”代表从左到右扫描输入串：在整个语法分析过程中，LR（0）分析器会按照输入串从左至右的顺序依次读取字符或单词符号。这种扫描方式符合人们对语言处理的常规认知习惯，也与词法分析输出单词序列的顺序一致。例如，对于输入串“int a = 10;”，分析器会先读取“int”，接着是“a”，然后是“=”，以此类推，逐步处理每一个符号，为后续的语法分析奠定基础 。
• “R”表示最右推导的逆过程（即最左归约）：最右推导是从开始符号出发，每次优先扩展最右边的非终结符来生成句子；而LR（0）分析采用的最左归约，是最右推导的逆过程。在分析过程中，LR（0）分析器不断寻找当前句型的最左可归约串（即句柄），并将其归约为相应的非终结符，逐步从输入串归约到开始符号。例如，对于文法产生式E -> E + T | T，T -> id，若当前句型为id + id，分析器会先将最左边的id（句柄）归约为T，这就是最左归约的过程，通过不断重复这样的归约操作，最终将整个输入串归约为开始符号E 。
• “0”意味着在分析过程中不需要向前查看输入符号：相较于其他一些语法分析方法（如LR（k），k > 0时需要向前查看k个输入符号来辅助决策），LR（0）分析在决定移进或归约操作时，仅依据当前的分析栈状态和栈顶的符号，不依赖对未来输入符号的预判。这使得LR（0）分析的决策过程相对简单直接，但也正是因为缺乏对后续输入的考量，导致它在处理某些文法时容易产生冲突。

2.1.2 LR（0）与其他语法分析方法的区别

• 与自顶向下语法分析方法（如LL分析法）的区别：
  • 分析方向：LL分析法是自顶向下的分析方法，从开始符号出发，通过最左推导逐步尝试生成输入串；而LR（0）分析是自底向上的，从输入串开始，通过不断归约逐步构建语法树，最终归约到开始符号 。例如，对于句子“ab”，LL分析法会从开始符号尝试推导产生“ab”，而LR（0）分析则从“ab”开始，逐步归约为开始符号。
  • 决策依据：LL分析法在推导过程中，根据当前非终结符和下一个输入符号选择合适的产生式；LR（0）分析则是根据分析栈中的状态和栈顶符号决定移进或归约操作，不涉及从开始符号的推导选择。
• 与其他自底向上语法分析方法（如SLR（1）、LR（1））的区别：
  • 冲突处理能力：LR（0）分析由于不向前查看输入符号，在分析过程中容易出现移进 - 归约冲突或归约 - 归约冲突；SLR（1）分析通过引入FOLLOW集来解决部分冲突，LR（1）分析则通过向前查看一个符号（即展望符）来更精确地处理冲突，因此SLR（1）和LR（1）能够处理比LR（0）更广泛的文法 。
  • 信息利用程度：SLR（1）利用了非终结符的FOLLOW集信息，LR（1）利用了展望符信息，而LR（0）仅依赖当前栈状态和栈顶符号，对输入串信息的利用较少，这也是其分析能力受限的重要原因。

2.2 相关术语介绍

2.2.1 项目与项目集

• 项目：在LR（0）分析中，项目是对文法产生式的一种扩展表示，它在产生式右部添加一个圆点，用于指示分析过程中当前的分析位置。例如，对于产生式A -> BC，可以产生三个项目：A -> ·BC（表示还未开始分析右部符号）、A -> B·C（表示已经分析完B，即将分析C）、A -> BC·（表示右部符号BC已分析完毕，可进行归约） 。项目直观地反映了分析器在处理产生式时的中间状态，是LR（0）分析的基本单元。
• 项目集：项目集是由若干个项目组成的集合。在LR（0）分析中，通过构造项目集规范族来描述整个语法分析过程中的所有可能状态。一个项目集对应分析过程中的一个状态，项目集内的项目共同描述了在该状态下分析器能够执行的操作 。例如，初始项目集可能包含与开始符号相关的项目，随着分析的进行，通过状态转移（如遇到某个符号后从一个项目集转移到另一个项目集），项目集不断变化，反映分析器状态的推进。

2.2.2 活前缀

活前缀是指规范句型（通过最右推导得到的句型）的前缀，并且该前缀不包含句柄之后的任何符号。在LR（0）分析中，活前缀具有重要意义，因为分析器的任务就是不断扫描输入串，识别出活前缀，进而找到句柄进行归约 。例如，对于文法S -> aAb，A -> c，句型acb的最右推导为S => aAb => acb，其活前缀可以是a、ac，这些前缀都是在归约过程中可能出现的合法中间状态。分析器通过识别活前缀，判断当前是否可以进行归约操作，从而逐步构建语法树。

2.2.3 句柄与可归约串

• 句柄：句柄是最左直接短语，它是和某一产生式右部匹配的子串，并且在该句型的最左推导中，它是即将被归约的部分。例如，对于文法E -> E + T | T，T -> id，句型id + id中，最左边的id就是句柄，因为它匹配产生式T -> id的右部，在最左推导过程中，下一步会将其归约为T 。句柄是LR（0）分析进行归约操作的关键依据，找到句柄后，分析器就可以依据相应的产生式将其归约为非终结符。
• 可归约串：在自底向上语法分析中，可归约串与句柄概念紧密相关，通常情况下，可归约串就是句柄。但在一些复杂的分析场景中，可归约串的定义可能更宽泛，指的是在当前分析状态下，能够依据文法规则进行归约的子串。在LR（0）分析中，通过识别活前缀来定位可归约串（即句柄），进而实现归约操作，逐步将输入串归约为开始符号，完成语法分析任务。

三、LR（0）分析的核心原理

3.1 移进 - 归约策略

3.1.1 移进操作详解

在LR（0）分析中，移进操作是语法分析过程中的基础动作之一。当分析器扫描输入串时，若当前分析状态和输入符号满足一定条件，就会执行移进操作。具体来说，分析器会将当前输入符号压入分析栈中，并根据当前状态和输入符号转移到新的状态。

从项目的角度理解，若当前项目集中存在形如“A → α·aβ”（其中a为终结符）的项目，当输入符号为a时，就执行移进操作。这里的圆点“·”表示分析的当前位置，移进操作意味着将输入符号a移到圆点之后，即推进了对产生式右部符号的分析。例如，对于文法产生式E -> E + T，在分析过程中若当前项目集包含E -> E· + T，当输入符号为“+”时，分析器就会将“+”移进栈中，同时状态发生转移，进入到对应处理“+”之后符号的状态。

移进操作的作用在于逐步积累输入符号，构建可能的可归约串。它使得分析器能够不断读取输入串，为后续的归约操作做准备。在实际的语法分析过程中，移进操作频繁执行，通过不断地将输入符号移进栈，逐渐形成与文法产生式右部匹配的子串，进而寻找句柄进行归约 。

3.1.2 归约操作详解

归约操作是LR（0）分析实现语法分析的关键步骤，它与移进操作相辅相成，共同完成从输入串到语法树的构建。归约操作的本质是将分析栈中已经形成的可归约串（即句柄），依据相应的文法产生式替换为对应的非终结符。

当分析栈中的符号串与某一文法产生式的右部完全匹配时，就执行归约操作。从项目的角度来看，若当前项目集中存在形如“A → α·”的项目，即产生式右部的所有符号都已经被分析完毕（圆点在产生式右部末尾），此时就可以进行归约。例如，对于文法产生式T -> id，当分析栈中栈顶符号为“id”时，就可以依据该产生式将“id”归约为“T”。具体操作是将栈顶与产生式右部匹配的符号串弹出栈，然后将产生式左部的非终结符压入栈中，并根据当前状态和新压入的非终结符转移到新的状态。

归约操作的意义在于逐步简化输入串，通过不断将可归约串归约为非终结符，最终将整个输入串归约为开始符号，从而确认输入串是否符合给定的文法规则。每一次归约操作都相当于在语法树的构建过程中，将一个子树收缩为其父节点，逐步构建出完整的语法树结构。

3.1.3 移进 - 归约过程的可视化示例

为了更直观地理解移进 - 归约过程，以一个简单的文法为例：
文法G：

S -> aAcB
A -> b
B -> d

假设输入串为“abcb”，下面展示LR（0）分析的移进 - 归约过程：

1. 初始状态：分析栈为空，输入串为“abcb”。
2. 第一步：扫描到输入符号“a”，由于当前状态和“a”满足移进条件（存在形如“S -> ·aAcB”的项目），将“a”移进栈，此时分析栈为“a”，输入串剩余“bcb”。
3. 第二步：扫描到输入符号“b”，同样执行移进操作，分析栈变为“ab”，输入串剩余“cb” 。
4. 第三步：此时栈顶符号“b”与产生式“A -> b”的右部匹配，执行归约操作。将栈顶的“b”弹出，压入“A”，根据状态转移规则转移到新状态，分析栈变为“aA”，输入串剩余“cb”。
5. 第四步：扫描到输入符号“c”，执行移进操作，分析栈变为“aAc”，输入串剩余“b”。
6. 第五步：扫描到输入符号“b”，执行移进操作，分析栈变为“aAcb”。
7. 第六步：此时栈顶符号“b”与产生式“B -> d”的右部不匹配，但与产生式“A -> b”的右部匹配，再次执行归约操作，将栈顶的“b”弹出，压入“A”，分析栈变为“aAcA” 。
8. 第七步：此时栈顶符号“cA”与产生式“S -> aAcB”的右部部分匹配，继续扫描输入串，已无剩余输入，且栈顶符号串“aAcA”无法与任何产生式右部完全匹配，说明输入串“abcb”不符合该文法规则，分析失败。

通过上述可视化示例，可以清晰地看到在LR（0）分析过程中，移进操作如何不断读取输入符号，归约操作如何根据文法规则对栈中的符号串进行处理，以及整个过程中分析栈和输入串的变化情况，从而加深对移进 - 归约策略的理解。

3.2 LR（0）项目集规范族

3.2.1 项目集的构造方法（闭包与GOTO函数）

在LR（0）分析中，项目集的构造主要依赖于闭包（Closure）运算和GOTO函数，它们是构建项目集规范族的核心工具。

• 闭包运算：闭包运算用于扩充项目集，确保项目集包含所有可能的后续分析信息。对于一个给定的项目集I，其闭包计算步骤如下：首先，项目集I中的所有项目都属于闭包CLOSURE(I)；然后，对于I中每个形如“A → α·Bβ”的项目（其中B为非终结符），将所有以B为左部的产生式“B → γ”对应的项目“B → ·γ”加入到CLOSURE(I)中。不断重复这个添加过程，直到没有新的项目可以加入为止。例如，若项目集I中存在项目“S → ·AB”，且文法中有产生式“A → a”和“B → b”，那么通过闭包运算，会将“A → ·a”和“B → ·b”也加入到该项目集中。闭包运算的意义在于，它能够将与当前分析状态相关的所有潜在分析路径都包含进来，使得项目集更加完备，为后续的分析决策提供全面的信息。
• GOTO函数：GOTO函数用于实现项目集之间的状态转移。对于一个项目集I和一个符号X（X可以是终结符或非终结符），GOTO(I, X)表示从项目集I出发，经过符号X转移到的新项目集。具体计算时，先找出I中所有形如“A → α·Xβ”的项目，将这些项目中的圆点右移一位，得到“A → αX·β”，然后对这些项目组成的集合求闭包，得到的结果就是GOTO(I, X)。例如，若项目集I中有项目“S → ·AB”，当X = A时，通过GOTO函数计算，先得到“S → A·B”，再对其求闭包，从而确定转移后的项目集。GOTO函数在LR（0）分析中起着导航作用，它根据输入符号引导分析器从一个状态转移到另一个状态，模拟了语法分析过程中状态的推进。

3.2.2 项目集规范族的形成过程

项目集规范族是由一系列项目集组成，它涵盖了语法分析过程中所有可能的状态。其形成过程以初始项目集为起点，通过不断应用GOTO函数逐步扩展得到。

• 确定初始项目集：首先，将拓广文法的初始项目“S’ → ·S”（S’为新引入的开始符号）加入到初始项目集I0中，然后对I0进行闭包运算，得到完整的初始项目集。例如，对于文法“S → AB”，“A → a”，“B → b”，初始项目集I0在加入“S’ → ·S”后，经过闭包运算，会将“S → ·AB”、“A → ·a”和“B → ·b”也加入进来，形成完备的初始项目集。
• 扩展项目集规范族：从初始项目集I0开始，对I0中的每个符号X（终结符和非终结符），计算GOTO(I0, X)，得到的新项目集若尚未在项目集规范族中出现，则将其加入。接着，对新加入的项目集重复上述过程，即对其包含的每个符号计算GOTO函数，生成新的项目集。不断重复这个过程，直到不再有新的项目集产生为止。例如，对初始项目集I0计算GOTO(I0, A)得到项目集I1，再计算GOTO(I0, B)得到项目集I2，然后对I1、I2继续计算GOTO函数，以此类推，逐步构建出完整的项目集规范族。在这个过程中，每个项目集代表了语法分析过程中的一个特定状态，项目集规范族则完整地描述了整个语法分析的状态空间。

3.2.3 项目集规范族的作用与意义

项目集规范族在LR（0）分析中具有至关重要的作用，是实现语法分析自动化和形式化的关键：

• 描述分析状态：每个项目集对应语法分析过程中的一个状态，项目集中的项目描述了在该状态下分析器可以执行的操作。例如，项目集中若存在移进项目“A → α·aβ”，表示在该状态下遇到输入符号a时可以执行移进操作；若存在归约项目“A → α·”，则表示在满足一定条件时可以进行归约操作。通过项目集规范族，能够清晰地了解分析器在不同阶段的工作状态和可能的操作选择。
• 构建分析表基础：项目集规范族是构造LR（0）分析表的基础。分析表中的ACTION表和GOTO表的内容直接依赖于项目集规范族。ACTION表根据项目集中的项目类型（移进、归约、接受等）和输入符号确定相应的操作；GOTO表则根据项目集之间的状态转移关系（通过GOTO函数确定）填写。可以说，没有项目集规范族，就无法准确构建LR（0）分析表，进而无法实现对输入串的自动化语法分析。
• 形式化分析依据：项目集规范族为LR（0）分析提供了形式化的理论依据，使得语法分析过程可以用数学和逻辑的方式进行描述和推理。它将复杂的语法分析过程抽象为一系列状态和状态转移，使得分析过程更加清晰、严谨，便于理解和研究。同时，基于项目集规范族的分析方法也为后续更复杂的语法分析技术（如SLR、LR(1)等）的发展奠定了基础，其形式化的思想和方法在编译原理领域具有深远的影响。

3.3 识别活前缀的DFA

3.3.1 从项目集规范族到DFA的转换

在LR(0)分析体系中，项目集规范族与识别活前缀的确定有限自动机（DFA）紧密相关，从项目集规范族到DFA的转换是实现语法分析自动化的关键步骤。

• 状态对应：项目集规范族中的每个项目集都对应DFA中的一个状态。例如，项目集规范族中的初始项目集 (I_0) 就成为DFA的初始状态，而其他通过GOTO函数生成的项目集也分别对应DFA中的不同状态。这种一一对应的关系，使得项目集规范族所描述的语法分析状态空间能够直接映射到DFA的状态空间上。
• 转移函数构建：DFA的转移函数依据项目集规范族中的GOTO函数构建。对于DFA中的一个状态 (S_i)（对应项目集 (I_i) ）和一个符号 (X)（终结符或非终结符），当在项目集规范族中存在 (GOTO(I_i, X)=I_j) 时，在DFA中就存在从状态 (S_i) 到状态 (S_j) 的转移，且转移条件为符号 (X) 。例如，若在项目集规范族中 (GOTO(I_0, A)=I_1) ，那么在DFA中，从对应 (I_0) 的状态出发，遇到符号 (A) 就会转移到对应 (I_1) 的状态。通过这种方式，将项目集之间的状态转移关系直接转化为DFA的状态转移规则，从而完成从项目集规范族到DFA的转换。

3.3.2 DFA的状态与转移规则

• 状态含义：DFA的每个状态都代表了语法分析过程中的一个特定阶段。在某个状态下，分析器根据当前已扫描的输入串部分，确定下一步可执行的操作。例如，若DFA处于某个状态时，对应的项目集中存在移进项目，这意味着分析器可以将当前输入符号移进分析栈；若存在归约项目，则表示分析器可以根据相应的产生式进行归约操作。状态中包含的项目信息，为分析器提供了决策依据，决定了在该状态下面对不同输入符号时应采取的动作。
• 转移规则：DFA的转移规则基于输入符号触发。当分析器处于某一状态，扫描到一个输入符号时，根据该状态和输入符号查找转移函数，确定下一个状态。若在当前状态下，对于输入符号 (X) 存在转移，则分析器进入转移后的新状态，继续处理后续输入符号；若不存在对应的转移，则表示输入串不符合文法规则，分析过程失败。例如，在一个状态中，若存在从该状态出发，以符号 (a) 为条件转移到另一个状态的规则，当分析器扫描到输入符号 (a) 时，就会按照此规则转移到相应状态。这些转移规则构成了DFA处理输入串的逻辑路径，引导分析器逐步扫描和分析输入串，直至完成语法分析或发现错误。

3.3.3 DFA在语法分析中的应用

• 识别活前缀：DFA的核心功能之一是识别输入串的活前缀。在语法分析过程中，分析器从DFA的初始状态开始，根据输入符号沿着DFA的状态转移路径前进。只要分析器能够在DFA中沿着合法的路径转移，所扫描过的输入符号序列就是一个活前缀。当分析器到达某个状态，且该状态对应的项目集中存在归约项目时，就意味着找到了句柄（可归约串），可以进行归约操作。例如，对于输入串“ab”，分析器从初始状态出发，依次扫描“a”和“b”，若在扫描完“b”后到达的状态存在归约项目，那么“ab”就是一个活前缀，且可以根据归约项目对应的产生式进行归约，逐步构建语法树。
• 驱动语法分析：DFA为LR(0)分析器提供了明确的分析流程和决策依据。分析器根据DFA的状态和转移规则，不断地进行移进或归约操作，逐步将输入串归约为开始符号。在整个分析过程中，DFA就像一个导航图，引导分析器按照正确的步骤处理输入串。如果在分析过程中，DFA无法找到合法的转移路径，就说明输入串存在语法错误，分析器可以及时报告错误位置和类型，帮助程序员修正代码。因此，DFA在LR(0)语法分析中起到了驱动和控制分析流程的关键作用，是实现高效、准确语法分析的重要工具。

四、LR（0）分析表的构造

4.1 分析表的组成

4.1.1 ACTION表的结构与功能

LR（0）分析表中的ACTION表是语法分析过程中进行决策的核心依据之一，它直接决定了分析器在不同状态下对输入符号的处理动作。

• 结构：ACTION表是一个二维表格，其行对应LR（0）项目集规范族中的各个状态（通常用状态编号表示，如0、1、2…），列对应文法中的终结符以及结束符“#” 。例如，若项目集规范族中有10个状态，文法包含终结符a、b、c以及结束符“#”，那么ACTION表就有10行，4列。
• 功能：ACTION表中的每个表项ACTION[s, a]（s为状态，a为终结符或“#”）存储了在状态s下遇到输入符号a时，分析器应执行的操作。主要操作类型包括：
  • 移进操作：当ACTION[s, a] = "s j"时，表示在状态s下遇到输入符号a，将a移进分析栈，并将状态切换到j。例如，ACTION[3, a] = “s 5”，意味着在状态3下扫描到输入符号a，将a压入栈中，并进入状态5继续分析。
  • 归约操作：当ACTION[s, a] = "r k"时，表示在状态s下遇到输入符号a，应按照文法中的第k条产生式进行归约。归约时，分析器会将栈顶与第k条产生式右部符号串长度相同的部分弹出，然后将产生式左部的非终结符压入栈中，并根据状态转移规则更新状态。例如，ACTION[7, b] = “r 3”，表示在状态7下遇到b，依据第3条产生式进行归约。
  • 接受操作：当ACTION[s, #] = "acc"时，表示在状态s下遇到结束符“#”，输入串已成功分析完毕，整个语法分析过程结束。例如，ACTION[10, #] = “acc”，说明在状态10下，输入串符合文法规则，分析成功。
  • 报错操作：若ACTION[s, a]没有定义任何操作，则表示在状态s下遇到输入符号a时，输入串存在语法错误，分析器将停止分析并报告错误。

4.1.2 GOTO表的结构与功能

GOTO表与ACTION表共同构成LR（0）分析表，它主要用于处理非终结符的状态转移，在语法分析过程中起着导航作用。

• 结构：GOTO表同样是一个二维表格，其行对应LR（0）项目集规范族中的状态，列对应文法中的非终结符。例如，若项目集规范族有8个状态，文法中有非终结符S、A、B，那么GOTO表就有8行，3列。
• 功能：GOTO表中的表项GOTO[s, X]（s为状态，X为非终结符）表示在状态s下，当遇到非终结符X时，分析器应转移到的目标状态。在归约操作后，分析器需要根据新压入栈中的非终结符和当前状态，通过GOTO表确定下一个状态。例如，若GOTO[4, A] = 6，意味着在状态4下，归约操作后压入非终结符A，此时分析器应将状态切换到6，继续后续分析。GOTO表确保了分析器在处理非终结符时能够按照正确的状态转移路径进行，使得语法分析过程能够有序推进，准确地构建语法树结构 。

4.2 分析表的构造步骤

4.2.1 ACTION表的填写规则

• 移进操作填写：对于项目集规范族中的每个项目集（状态）i，若其中存在形如“A → α·aβ”（a为终结符）的项目，那么在ACTION表中，令ACTION[i, a] = “s j”，其中j是通过GOTO(i, a)得到的目标状态编号。例如，在项目集I3中存在项目“S → S· + T”，通过计算GOTO(I3, +)得到项目集I5，那么在ACTION表中，ACTION[3, +] = “s 5”。
• 归约操作填写：若项目集i中存在形如“A → α·”的归约项目，假设该产生式为文法中的第k条产生式。对于文法中所有的终结符a以及结束符“#”，若a ∈ FOLLOW(A)（FOLLOW(A)为非终结符A的FOLLOW集），则在ACTION表中填写ACTION[i, a] = “r k”。例如，若项目集I7中有项目“A → ab·”，该产生式为第5条产生式，且FOLLOW(A) = {#, b}，那么在ACTION表中，ACTION[7, #] = “r 5”，ACTION[7, b] = “r 5”。
• 接受操作填写：对于包含项目“S’ → S·”（S’为拓广文法的开始符号）的项目集i，在ACTION表中填写ACTION[i, #] = “acc”，表示在该状态下遇到结束符“#”时，输入串分析成功。
• 报错操作：对于在上述规则中未定义操作的ACTION表项，即不存在对应移进、归约或接受操作的表项，标记为报错状态，表示遇到该状态 - 符号组合时输入串存在语法错误。

4.2.2 GOTO表的填写规则

对于项目集规范族中的每个项目集（状态）i，若其中存在形如“A → α·Bβ”（B为非终结符）的项目，通过计算GOTO(i, B)得到目标项目集j，则在GOTO表中填写GOTO[i, B] = j。例如，若在项目集I2中存在项目“S → A·B”，计算GOTO(I2, B)得到项目集I4，那么在GOTO表中，GOTO[2, B] = 4。对于没有相应转移的状态 - 非终结符组合，GOTO表中该位置不填写任何内容，表示遇到此情况时输入串存在语法错误 。

4.2.3 构造分析表的实例演示

1. 给定文法G[S]

$S\to aSb$

$S\to ab$

拓广文法 $G^{\prime }[S^{\prime }]$：

$0：S^{\prime }\to S$

$1：S\to aSb$

$2：S\to ab$

2. 构造 LR (0) 项目集规范族

初始项目集

$S^{\prime }\to \cdot S$

$S\to \cdot aSb$

$S\to \cdot ab$

因为 $S\to \cdot aSb$ 和 $S\to \cdot ab$ 中圆点后是终结符 $a$，没有非终结符需要进一步展开，所以 $I_0$ 确定。

通过GOTO函数得到其他项目集:

$I_1=GOTO(I_0,S)$: $S^{\prime }\to S\cdot$

$I_2=GOTO(I_0,a)$:
$S\to a\cdot Sb$
$S\to a\cdot b$
$S\to \cdot aSb$
$S\to \cdot ab$

$I_3=GOTO(I_2,S)$: $S\to aS\cdot b$

$I_4=GOTO(I_2,b)$: $S\to ab\cdot$

$I_5=GOTO(I_3,b)$: $S\to aSb\cdot$

3. 构造 LR (0) 分析表

根据项目集规范族构造 LR (0) 分析表，其中 ACTION 表表示在当前状态下面对输入符号的操作，GOTO 表表示在当前状态下遇到非终结符时的状态转移。

状态	ACTION 表			GOTO 表
	$a$	$b$	$\#$	$S$
$0$	$s2$			$1$
$1$			$acc$
$2$	$s2$	$s4$		$3$
$3$		$s5$
$4$	$r2$	$r2$	$r2$
$5$	$r1$	$r1$	$r1$

表格说明：

ACTION 表:

$si$ 表示移进操作，即将输入符号移进栈，并转移到状态 $i$。例如，在状态 $0$ 遇到输入符号 $a$，执行移进操作并转移到状态 $2$，即 $ACTION[0,a]=s2$。

$ri$ 表示归约操作，即按照第 $i$ 条产生式进行归约。例如，在状态 $4$ 遇到输入符号 $a$、$b$ 或 $\#$ 时，都按照第 $2$ 条产生式 $S\to ab$ 进行归约，即 $ACTION[4,a]=r2$，$ACTION[4,b]=r2$，$ACTION[4,\#]=r2$。

$acc$ 表示接受操作，当在状态 $1$ 遇到结束符 $\#$ 时，输入串已成功分析完毕，即 $ACTION[1,\#]=acc$。

GOTO 表: 记录状态和非终结符的转移关系。例如，在状态 $0$ 遇到非终结符 $S$，转移到状态 $1$，即 $GOTO[0,S]=1$。

4. 对输入串 ab# 进行分析

分析过程表

步骤	状态栈	符号栈	输入串	ACTION 操作	GOTO 操作
1	0	#	ab#	s2
2	02	#a	b#	s4
3	024	#ab	#	r2	1
4	01	#S	#	acc

步骤解析
1.初始状态0，符号#，检验串ab#，action查看表a对应的I0状态是s2，填入s2；
2.因为是移进项目，所以将2移入状态，变为02，符号加入a，输入串为b#，查分析表b对应的2状态为s4；
3.移进项目，状态栈加入4，变为024，符号找为#ab，输入串仅为#，查表#对应4状态为r2，为归约项；
4.归约项，查拓广文法，2：S—>ab，看右部字串为2，弹出状态栈栈顶两个数，变为0，将ab归约为S，查分析表S对应的0状态为1，压入状态栈，并填入步骤3的GOTO操作中，再次查分析表，#对应1状态为acc，分析成功。

通过以上步骤，完成了对输入串 ab# 的 LR (0) 分析，验证了输入串 ab# 符合给定的文法。

五、LR（0）分析的局限性与冲突处理

5.1 LR（0）分析的局限性

5.1.1 移进 - 归约冲突的产生

LR（0）分析的移进 - 归约冲突源于其分析机制的固有缺陷。由于 LR（0）在分析过程中不向前查看输入符号，仅依据当前分析栈状态和栈顶符号进行决策，这就导致在某些项目集中，移进项目与归约项目会同时出现。

以文法 $G$ 为例：

S → aAc | aBb

A → c

B → b

对其拓广后构造 LR（0）项目集规范族，在某个项目集中可能出现以下项目：

$S\to a\cdot Ac$（移进项目，表明遇到 $A$ 时应将其移进分析栈，继续分析后续符号）

$A\to c\cdot$（归约项目，意味着遇到 $c$ 时应按照 $A\to c$ 进行归约）

当输入符号为 $c$ 时，分析器既可以选择执行移进操作，将 $c$ 移进栈以满足 $S\to a\cdot Ac$ 的分析需求；也可以选择执行归约操作，按照 $A\to c$ 将栈顶的 $c$ 归约为 $A$。由于缺乏额外信息来明确操作选择，从而产生移进 - 归约冲突，使得分析过程无法继续进行 。

5.1.2 归约 - 归约冲突的产生

归约 - 归约冲突同样是 LR（0）分析的局限性体现。当项目集中存在多个归约项目，且在同一输入符号下均满足归约条件时，就会引发归约 - 归约冲突。

假设文法 $G^{\prime }$ 如下：

S → A

A → a

A → b

在构建 LR（0）项目集规范族过程中，可能存在包含以下项目的项目集：

$A\to a\cdot$

$A\to b\cdot$

此时，当输入符号为 $a$ 或 $b$ 时，分析器面临选择困境。它既可以按照 $A\to a$ 进行归约，也可以按照 $A\to b$ 进行归约，无法确定应依据哪条产生式执行归约操作，导致分析陷入混乱，无法准确判断输入串是否符合文法规则。

5.2 冲突的本质与影响

LR（0）分析中冲突的本质，是由于分析决策信息的严重不足。LR（0）仅依赖当前栈状态和栈顶符号这一有限信息进行操作判断，完全不考虑后续输入符号的情况，使得在复杂语法结构下，无法为分析器提供明确、唯一的决策依据 。

这种冲突对 LR（0）分析的影响极为严重。首先，它直接破坏了语法分析的确定性，使得分析器在冲突点无法继续推进，分析过程被迫中断。其次，若强行在存在冲突的情况下进行分析，极有可能得出错误的分析结果，将不符合文法的输入串误判为合法，或者反之，导致编译过程失败或产生错误的目标代码。最后，冲突的存在极大地限制了 LR（0）分析的适用范围，许多实际编程语言或形式语言中的文法，都因存在这类冲突而无法使用 LR（0）分析方法进行有效处理。

5.3 解决 LR（0）冲突的后续方法（引出 SLR、LR（1）等）

为了克服 LR（0）分析的冲突问题，研究者们提出了一系列改进方法，其中 SLR（1）和 LR（1）是较为典型且重要的代表。

SLR（1）分析

SLR（1）分析引入了 FOLLOW 集 来辅助解决部分冲突。在遇到移进 - 归约或归约 - 归约冲突时，通过检查归约项目左部非终结符的 FOLLOW 集与当前输入符号的关系来确定操作。

例如，在移进 - 归约冲突场景下，如果当前输入符号不在归约项目左部非终结符的 FOLLOW 集中，那么优先执行移进操作；若输入符号在 FOLLOW 集中，则进行归约操作。这种方式利用了非终结符在文法中的上下文信息，在一定程度上扩展了可分析文法的范围。但 SLR（1）仍然存在局限性，对于一些复杂的冲突情况，由于 FOLLOW 集提供的信息不够精确，可能无法有效解决冲突。

LR（1）分析

LR（1）分析进一步增强了分析能力，通过在每个项目中引入 展望符（lookahead） 来解决冲突。展望符表示在执行该项目归约时，下一个输入符号必须是什么。

在分析决策过程中，LR（1）不仅依据当前栈状态和栈顶符号，还结合展望符信息进行判断。只有当输入符号与展望符完全匹配时，才执行相应的归约操作。这种精确的决策机制使得 LR（1）几乎能够处理所有上下文无关文法，但代价是其构造过程更为复杂，计算量显著增加，需要更多的时间和空间资源来生成分析表 。

这些后续方法的出现，是对 LR（0）分析的重要改进和发展，它们逐步扩大了自底向上语法分析技术的应用边界，使得语法分析能够更好地适应实际编程和语言处理的需求。

六、LR（0）分析的实践应用与案例

6.1 简单文法的 LR（0）分析实例

6.1.1 文法定义与拓广

考虑一个简单的算术表达式文法 $G$，其原始规则如下：

E → E + T

E → T

T → T \* F

T → F

F → ( E )

F → id

该文法用于描述包含加法、乘法、括号以及标识符的算术表达式结构，其中 E 代表表达式，T 代表项，F 代表因子 。为了便于使用 LR（0）分析方法，需要对其进行拓广，引入新的开始符号 E'，得到拓广文法 $G^{\prime }$：

0: E' → E

1: E → E + T

2: E → T

3: T → T \* F

4: T → F

5: F → ( E )

6: F → id

拓广后的文法明确了分析的起始与结束，为后续构造 LR（0）分析表和进行语法分析奠定基础。

6.1.2 完整分析过程展示

构造 LR（0）项目集规范族

初始项目集：包含初始项目 E' → ·E，同时根据 E 的产生式，扩展得到 E → ·E + T 和 E → ·T，进一步根据 T 的产生式扩展出 T → ·T * F、T → ·F，再根据 F 的产生式得到 F → ·( E ) 和 F → ·id，即：

E' → ·E

E → ·E + T

E → ·T

T → ·T \* F

T → ·F

F → ·( E )

F → ·id

通过 GOTO 函数生成其他项目集，例如 $I_1=GOTO(I_0,E)$ 得到 E' → E·； $I_2=GOTO(I_0,T)$ 包含 E → T· 等，经过完整计算，形成整个项目集规范族。

构造 LR（0）分析表：根据项目集规范族，分别填写 ACTION 表和 GOTO 表。例如在 $I_0$ 中，对于输入符号 id，存在项目 F → ·id，所以 ACTION[0, id] = s6（表示移进操作，转移到状态 6）；对于非终结符 E，GOTO[0, E] = 1 。

对输入串 id + id 进行分析

初始时，分析栈为 [0]，输入串为 id + id#。根据 ACTION 表，ACTION[0, id] = s6，将 id 移进栈，栈变为 [0, id, 6]，输入串剩余 + id#。

此时栈顶状态为 6，对应项目 F → id·，执行归约操作，按照产生式 F → id 归约，将栈顶的 id 和状态 6 弹出，压入 F，并根据 GOTO 表，GOTO[0, F] 得到新状态（假设为 3），栈变为 [0, F, 3]。

重复上述过程，不断进行移进、归约操作，最终若分析栈为 [0, E, 1]，输入串为空，且 ACTION[1, #] = acc，则表示输入串 id + id 符合该文法，分析成功。

6.2 实际编程语言中的 LR（0）应用（可选，如部分简单语言的词法分析）

在实际编程语言的实现中，虽然 LR（0）分析由于其局限性，较少直接用于完整的语法分析，但在一些简单场景下仍有应用价值，比如部分简单语言的词法分析。

以自定义的一种小型脚本语言为例，该语言的词法规则可以通过简单的文法描述。在词法分析阶段，将输入的字符流按照词法规则进行分割成一个个单词符号。此时，LR（0）分析可以用来辅助判断当前输入的字符序列是否构成合法的单词。例如，对于标识符的识别，定义文法规则 ID → letter ( letter | digit )*（其中 letter 表示字母，digit 表示数字），通过构造 LR（0）分析表，分析器可以快速判断输入的字符序列是否符合标识符的构成规则。当遇到不符合规则的字符组合时，能够及时报错，指出词法错误的位置。虽然实际的编程语言词法分析可能会采用更高效、灵活的正则表达式等技术，但 LR（0）分析提供了一种基于形式化方法的思路，帮助理解词法分析的本质过程，同时也为后续语法分析技术的学习和应用打下基础 。

七、总结与展望

7.1 LR（0）分析的核心要点回顾

LR（0）分析作为编译原理中自底向上语法分析的基石，其核心思想与技术架构为语法分析领域奠定了重要基础。在基本概念层面，LR（0）以“从左到右扫描输入串、最左归约”为核心策略，通过“项目”与“项目集”抽象语法分析的中间状态，利用“活前缀”识别可归约串，为移进 - 归约操作提供依据 。在分析过程中，移进 - 归约策略是核心执行逻辑，分析器根据输入符号将其移进栈或对栈顶可归约串进行归约，逐步构建语法树。

LR（0）分析表的构造是其实现自动化分析的关键。通过项目集规范族的构建，结合闭包运算和GOTO函数，生成识别活前缀的DFA，进而确定ACTION表与GOTO表的内容。ACTION表指导分析器对终结符的处理（移进、归约、接受或报错），GOTO表则管理非终结符的状态转移。然而，LR（0）分析的局限性也十分明显，由于不向前查看输入符号，在项目集中易出现移进 - 归约冲突或归约 - 归约冲突，导致其能处理的文法范围有限。

7.2 LR（0）分析对后续语法分析方法的启发

LR（0）分析的出现为语法分析技术的发展提供了重要启示，后续的SLR（1）、LR（1）、LALR（1）等方法均基于其思想进行改进和扩展。SLR（1）分析通过引入FOLLOW集，对LR（0）的冲突进行优化，在遇到冲突时根据归约项目左部非终结符的FOLLOW集与输入符号的关系确定操作，一定程度上扩大了可分析文法的范围，体现了通过补充上下文信息解决冲突的思路。

LR（1）分析则进一步引入“展望符”机制，为每个项目添加下一个输入符号的约束条件，使分析器在决策时不仅依赖栈状态，还结合展望符信息，极大提高了冲突处理的准确性，几乎能处理所有上下文无关文法。而LALR（1）分析在LR（1）的基础上，通过合并同心项目集，在保证分析能力的同时降低了分析表的规模，提升了效率。这些方法均继承了LR（0）中项目集规范族、DFA构建以及分析表驱动的核心思想，并通过不同方式增强了对复杂文法的处理能力 。

7.3 未来语法分析技术的发展趋势

随着计算机科学的不断发展，语法分析技术也将朝着更高效、智能、通用的方向演进。在效率方面，结合硬件加速（如GPU并行计算）与算法优化，进一步降低语法分析的时间和空间复杂度，使分析器能快速处理大规模代码。例如，通过并行化LR分析算法，加速项目集规范族的计算和分析表的构建过程。

智能化是未来语法分析的重要趋势。借助机器学习和深度学习技术，语法分析器将能够自动学习和适应不同的编程语言特性、代码风格，甚至能根据代码上下文动态调整分析策略。例如，利用神经网络模型对代码进行语义理解，辅助语法分析过程，提高错误诊断的准确性和修复建议的有效性。

此外，语法分析技术将向跨语言、跨领域的通用性方向发展。随着软件系统的复杂性增加，单一语言的语法分析已难以满足需求，未来的语法分析器将支持多语言混合代码的分析，同时在自然语言处理、形式化验证等非传统编译领域发挥更大作用，实现语法分析技术在更广泛场景下的应用。