上下文敏感性与歧义

上下文敏感度和歧义是完全正交的。存在不明确的上下文无关语言和明确的上下文相关语言。

是一种形式语言，可以通过上下文相关语法 （CSG） 进行分析。每种上下文无关语言也是上下文相关语言，因为上下文无关语法是简化的上下文相关语言。不过，并非每种正式语言都与上下文相关;有些语言即使是 CSG 也无法描述。

使用上下文无关分析器分析上下文相关语言，请定义一个上下文无关语法，该语法接受上下文相关语言的超集（因为它们功能较弱）。由于您接受超集，因此可能会得到歧义或误报结果，必须在分析后解决。

示例一：一种类似 XML 的语言，允许任何标记名称。由于上下文无关语法无法解析由两个重复单词 w = {a，b}+ 组成的句子 ww，因此它无法解析 ID 相等<ID></ID>。因此，可以定义一个接受超集的上下文无关语法：

start -> elem
elem  -> open elem* close
open  -> '<' ID '>'
close -> '</' ID '>'
ID    -> ('a' / 'b')+

这显然甚至解析了人们不想要的句子，因此必须对open和close中的等效 ID 进行额外检查。

示例二：一种非常简单的语言中的类似C的Typedef。想象一种只包含 typedef、指针和乘法的语言。它只有两个ID，a和b。这种语言的示例：

typedef a;
b * a;                    // multiplication
a * b;                    // b is pointer to type a 

上下文无关的语法如下所示：

start                     -> typedef multiplication-or-pointer+
typedef                   -> 'typedef' ID ';'
multiplication-or-pointer -> ID '*' ID ';'
ID                        -> 'a'
ID                        -> 'b'

语法不接受超集，但它不知道它是否看到乘法或指针，因此它是模棱两可的。因此，必须检查结果并决定它是乘法还是指针，具体取决于 typedef 中定义的类型。

使用上下文相关的语法，人们可以做更多的事情。非常粗略（且不精确）：

start                                     -> typedef multiplication-or-pointer+
typedef                                   -> 'typedef' ID ';'
multiplication-or-pointer                 -> pointer / multiplication
'typedef' 'a' ';' WHATEVER pointer        -> 'a' '*' ID   
'typedef' 'b' ';' WHATEVER pointer        -> 'b' '*' ID   
'typedef' 'b' ';' WHATEVER multiplication -> 'a' '*' ID
'typedef' 'a' ';' WHATEVER multiplication -> 'b' '*' ID
ID                                        -> 'a'
ID                                        -> 'b'

请注意，我在这里显示的内容并不准确，因为我限制了 ID 的数量。通常，可以有无限数量的 ID。您可以为一般情况编写上下文相关语法（即使它一定是绝对不直观的），但不能编写上下文无关的语法。

关于您的编辑 1：我希望前面的示例可以回答这个问题。

关于您的编辑 2：还有另一种技巧如何表达，因此规则不受限制，但它们通常令人兴奋，IMO 这就是没有人使用 CSG 形式主义的原因。

线性有界自动机，上下文无关语法等效于下推自动机。说上下文无关解析器与上下文相关解析器相反是不对的。

编译器不使用"纯"（无论这意味着什么）语法来进行解析 - 它们是执行所有真实世界程序所做的事情的真实程序 - 在某些情况下应用启发式方法。这就是为什么C++编译器（以及大多数其他语言的编译器，本科练习除外）不使用编译器生成器生成的原因。