上下文敏感的代序言

Question

我对如由斯基所描述的，如在下面的一节“类型 - 1语法” Chomsky Classification of Grammars描述产生上下文敏感的语言的元素。

（基本上，类似于标准的上下文无关文法，但允许在生产规则的左侧多个符号，其中包括终端）。

我知道在序言明确的条款语法，但我不看那些和乔姆斯基的上下文敏感的语言之间有明显的映射。有没有一种“万能”的方式来使用DCG框架来描述左侧有多个符号的产生式规则，或者我需要为每种语言的临时性办法？

Answer 1

在右手侧上下文可以直接使用semicontext进行编码：

nt1, "context" --> nt2, "context".

有关左侧方面，没有明显的直接编码。最常使用的参数给非终端。