17、无扫描器广义 LR 解析器的消歧过滤器

无扫描器广义 LR 解析器的消歧过滤器

1. 无扫描器解析与广义解析的结合

在语法定义中，词法和上下文无关语法完全集成时，通常不适合确定性解析技术所需的任何受限语法类，因为词法语法往往需要任意长度的向前看。所以，无扫描器解析与确定性解析不太匹配。例如，某些邻接限制和排除规则只能部分实现在 SLR(1) 解析器生成器的扩展中，还会导致语法变得复杂。

广义解析技术则可以处理任意长度的向前看。使用广义解析技术能解决无扫描器解析中词法向前看的问题，但需要解决解析上下文无法解决的词法歧义问题。

2. 消歧规则

消除歧义语法有多种方法，这里主要关注由词法和上下文无关语法集成导致的歧义，有四类消歧规则比较适用：
- 跟随限制 ：是邻接限制规则的简化，用于实现最长匹配消歧。
- 拒绝产生式 ：用于实现保留关键字消歧。
- 优先级和结合性规则 ：用于消除表达式语法的歧义。
- 偏好属性 ：用于在多个可选推导中选择默认推导。

2.1 跟随限制

以简单的上下文无关语法为例，如下是一个术语语言的语法：

Term ::= Id | Nat | Term Ws Term
Id ::= [a-z]+
Nat ::= [0-9]+
Ws ::= [ \n]*
%restrictions
Id -/- [a-z]
Nat -/- [0-9]
Ws -/- [ \n]

在没有词法消歧的情况