grammar - =*> 对于上下文无关语法意味着什么？

Question

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

用示例区分=>的解释=*>将是最有帮助的。

Answer 1

=> 意味着在一个步骤中派生，而 =*> 在零个或多个步骤中派生（=> 的自反传递闭包）。