右侧上下文Notation[DCG]

Question

在这个site中，我找到了解释如何使用DCG构建右侧上下文表示法的部分。

A → ε | a A

Head, [T_1,...,T_n] --> Body.

有人通过例子帮助我找出了这种方法，并说明了它对解析上下文无关文法的好处

Answer 1

这种表示法被称为半文本。请参见，例如this answer。有了它，您就拥有了比上下文无关语法更强大的功能。实际上，它已经是类型0了。

Answer 2

在DCG Primer上查找Semicontext表示法:它得到了很好的解释，并提供了示例