上下文无关语法中的这些箭头运算符是什么？
我正在学习上下文无关语法，我很好奇 f 和 g 部分中带星号的箭头和不带星号的箭头意味着什么，其中：
- f 为假。
- g 是真的。
I'm studying context free grammar and I'm curious what the arrow with the star and the arrow without the star mean in parts f and g where:
- f is false.
- g is true.
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（2）
“x ⇒ y”意味着 y 可以在语法的某种产生式的一次应用中从 x 导出。在 ⇒ 上加上星号意味着 y 是通过零个或多个（但有限多个！）应用某些产生式序列从 x 导出的。
"x ⇒ y" means that y can be derived from x in exactly one application of some production of the grammar. Putting an asterisk over the ⇒ means that y is derived from x via zero or more (but finitely many!) applications of some sequence of productions.
请参阅http://en.wikipedia.org/wiki/Context-free_grammar#Repetitive_rule_application 进行解释。
也就是说，如果u星形箭头v，则存在从u到v的一系列规则应用。
See http://en.wikipedia.org/wiki/Context-free_grammar#Repetitive_rule_application for an explanation.
That is to say, if u star-arrow v, there is some series of applications of rules that goes from u to v.