什么= *＆gt;关于无上下文语法的意思？

Question

我一直在阅读一些关于编译器理论的书籍/在线参考资料，并且每隔一段时间就会看到特定的运算符（如here所示），特别是当前主题是无上下文语法时。这是什么意思？同样，它与=>有什么不同？

使用区分=>和=*>的示例进行说明最有帮助。

Answer 1

=＆GT;表示在一步中导出= *＆gt;导出零步或多步（reflexive transitive closure of =>）。