上下文敏感分词是否要求词法文法中包含多个目标符号？

为什么不用单个目标符号，由语法分析器指定产生式？ #

这两种实现逻辑本质是等价的，只是规范选择了多目标符号的表述方式。你提到的让语法分析器直接告知词法分析器匹配除法还是正则，和规范中「根据上下文切换InputElementDiv/InputElementRegExp目标符号」的描述，其实是同一逻辑的两种表达。
规范选择多目标符号的写法主要有两个原因：

• 文法表述更清晰：把两种场景下允许的词法单元拆分到两个目标符号下，不需要额外附加「当前上下文允许/禁止某个产生式」的补充说明，更符合形式文法的表述习惯。如果都塞在同一个InputElement定义里，反而需要额外给DivPunctuator和RegularExpressionLiteral加互斥的上下文限制，可读性会差很多。
• 对齐实现更灵活：不同的JS解析器可以自由选择实现方案，不管是切换词法目标符号，还是直接给词法分析器传允许的token类型，只要最终行为符合两个目标符号的定义就算正确，不会强制绑定实现细节。

还有哪些语言在词法文法中使用了多个目标符号？ #

这类需要依赖上下文辅助词法解析的语言并不少见，典型代表包括：

• C/C++：需要区分标识符是类型名还是普通变量名，词法分析器依赖语法分析器传入的符号表信息才能正确识别，本质就是多目标词法的一种实现，部分版本的规范表述中也会拆分不同的词法目标符号。
• Python：处理缩进、换行时，词法分析器需要依赖当前的缩进层级上下文，不同上下文下换行的处理逻辑完全不同，也属于多目标词法的范畴。
• Ruby：和JS类似，需要区分/是除法运算符还是正则字面量开头，同样要依赖上下文切换词法匹配规则。
• PHP：处理字符串插值时，不同的插值上下文下允许的词法单元不同，也会用到多组词法目标规则。

如何归类ECMAScript的词法文法？ #

它属于上下文相关的正则文法，确实不符合传统CSG（上下文敏感文法）的形式化定义。
传统CSG要求产生式左部必须包含上下文符号，比如a A b -> a c b表示只有A出现在a和b中间时才能替换为c。而JS的词法文法的上下文判断是在产生式集合选择的层面，不是在产生式左部的替换规则里，所以不满足CSG的形式化要求。
你可以把它理解为正则文法的超集：核心的词法匹配规则还是正则的，只是额外加了一层上下文开关来选择当前生效的正则规则集合，这也是目前工业界编程语言词法分析的常见实现方式，比严格的CSG实现成本低很多，性能也更高。

内容的提问来源于stack exchange，提问作者user51462