这些箭头操作符在上下文无关语法中是什么？

Question

我正在研究无上下文语法，我很好奇星形箭头和没有星形的箭头在f和g部分中的含义：

• f是假的。
• g是真的。

Answer 1

“x⇒y”表示y可以在一些语法生成的应用中从x派生。在⇒上加上一个星号意味着y是通过零或更多（但有限数量！）某些序列的应用程序从x派生出来的。

Answer 2

请参阅http://en.wikipedia.org/wiki/Context-free_grammar#Repetitive_rule_application以获取解释。

也就是说，如果你是star-arrow v，那么规则的一系列应用从u到v。