parsing - 这个语法上下文是免费的吗

Question

以下语法上下文是免费的吗？我的印象是，当解析器不需要解释已经解析的内容时，语法是上下文无关的。使用以下语法，这是不必要的，但是，我的同事确信它是上下文敏感的。

问题是如果不知道 X 是否在 Y 或 Z 内，您就无法确定需要匹配 X 的哪个替代项

X: ( "a" | "a" "b" )
Y: X "b" "c"
Z: X "d"

Answer 1

在讨论适用于 LL 解析器但不适用于强 LL (SLL) 解析器的语法时，偶尔会出现“上下文敏感”一词。在这些情况下，需要 LL 解析器的决策可能被称为“上下文敏感”，因为它们需要有关自顶向下解析上下文的信息才能做出准确的决策。但是，SLL 和 LL 文法都将被视为上下文无关文法。