parsing - LR解析如何解析这个语法中的单词“ab”：S -> ab

在这种情况下，解析器将永远不会尝试归约T，因为产生T → a式未处于从S. 初始状态有项目：

S → • a b
S → • a T

在这种状态下唯一可能的动作是使用 token 的 shift 动作a。a实际上，因为是下一个输入字符，所以我们进行移位转换到项集为的状态

S → a • b
S → a • T
T → • a

这个状态也没有 reduce 动作，它有两个不同的 shift 动作：一个 on b，另一个 on a。由于下一个输入是b，因此采取了移位动作，导致项集为的状态

S → a b •

其中只有一个减少可用。

一个更有趣的例子是相当相似的语法

S → a b
S → T a
T → a

在这里，初始状态的项集确实包括的产生式T：

S → • a b
S → • T a
T → • a

在初始状态下唯一可用的操作仍然是 shift a，但现在在执行 shift 之后，我们发现自己处于一个状态，其项目集是：

S → a • b
T → a •

现在我们有两个可能的动作：转移b和减少T → a。在这里，解析器需要使用它的能力来查看一个标记到未来（假设它是一个LR(1)解析器）。

但要让它这样做，我们需要做一个小的调整。在构造解析自动机之前，语法总是被“增强”。增强语法通过添加一个唯一的输入结束字符来增加对输入结束的显式识别，该字符也可以参与前瞻检查。增广语法是：

S'→ S $
S → a b
S → T a
T → a

在这个语法中，我们可以看到非终结符T后面只能跟符号a，并且这个事实被编码到状态转换表中，其中项目集中的每个项目实际上都用一组可能的前瞻来注释。（在表格构建过程中，所有项目都被注释，但为了计算法律行为，只考虑减少的前瞻；减少是一个项目，其 • 位于末尾。）

通过这个修改，移位后达到的项目集a是：

S → a • b
T → a •    [ lookahead: { a } ]

并且前瞻使应该选择哪个动作变得绝对清楚。如果下一个输入是b，则将其移位。如果下一个输入是a，T则减少。

该精度不适用于 LR(0) 解析，其中不使用前瞻。修改后的语法不是 LR(0)，正是因为您提到的原因：它无法决定是否减少T. 这个问题经常出现，这就是为什么 LR(0) 在实践中很少有用。

parsing - LR解析如何解析这个语法中的单词“ab”：S -> ab | 在 ; T -> 一个