prolog - prolog中的上下文敏感生成

Question

我对生成乔姆斯基所描述的上下文相关语言的元素感兴趣，如乔姆斯基语法分类中 “类型 - 1 语法”一节中所述。

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

我知道 Prolog 中的确定子句语法，但我看不到这些语法与乔姆斯基的上下文相关语言之间的明显映射。是否有一种“通用”的方式来使用 DCG 框架来描述左侧带有多个符号的生产规则，或者我是否需要针对每种单独的语言使用一种特别的方法？

Answer 1

右侧的上下文可以使用半上下文直接编码：

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

对于左侧的上下文，没有明显的直接编码。最常使用非终结符的参数。