右手语境符号[DCG]

Question

在这个site中，我找到了一个解释如何使用DCG构建右手上下文符号的部分

A → ε | a A

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

有人通过示例帮助我弄清楚这个方法并说明它解析无上下文语法的好处

Answer 1

此表示法称为 semicontext 。见，例如， this answer。有了它，你拥有比无上下文语法更强大的功能。实际上，它已经是0型。

Answer 2

在DCG Primer查找Semicontext表示法：通过示例进行了很好的解释