=*> 什么意思？上下文无关语法是什么意思？
我一直在阅读几本关于编译器理论的书籍/在线参考资料，并且每隔一段时间就会看到特定的运算符出现（如此处），特别是当当前主题是上下文无关语法时。这是什么意思？另外，它与 => 有什么不同？
使用区分 => 和 =*> 的示例进行解释将是最有帮助的。
I've been reading a couple books/online references about compiler theory, and keep seeing that particular operator coming up every once in a while (as seen here), specifically when the current topic is context free grammars. What does it mean? As well, how does it differ from =>?
Explanations with examples distinguishing => from =*> would be most helpful.
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（1）
=>当 =*> 时，意味着一步推导以零个或多个步骤导出（自反传递闭包 =>）。
=> means derives in one step while =*> derives in zero or more steps (the reflexive transitive closure of =>).