在这个站点中，我找到了一个解释如何使用 DCG 构建右手上下文符号的部分
A → ε | a A
Head, [T_1,...,T_n] --> Body.
有人通过示例帮助我弄清楚这种方法并说明它对解析上下文无关语法的好处
问问题
230 次
2 回答
3
这种表示法称为半上下文。见，例如这个答案。有了它，您就拥有比上下文无关语法更强大的功能。事实上，它已经是 0 型了。
于 2016-02-26T18:10:18.433 回答
2
在DCG Primer中查找 Semicontext notation ：解释得很好，并附有示例
于 2016-02-26T19:19:58.367 回答