我正在学习上下文无关语法，我很好奇 f 和 g 部分中带星号的箭头和不带星号的箭头是什么意思：
- f 是假的。
- g 是真的。
问问题
4996 次
2 回答
16
“x ⇒ y”意味着 y 可以在语法的某些产生式的一个应用中从 x 导出。将星号放在 ⇒ 上意味着 y 是通过对某些产生式序列的零个或多个（但数量有限！）应用从 x 推导出来的。
于 2011-10-18T23:29:02.640 回答
3
有关说明，请参见http://en.wikipedia.org/wiki/Context-free_grammar#Repetitive_rule_application。
也就是说，如果 u 星箭头 v，则存在从 u 到 v 的一系列规则应用。
于 2011-10-18T23:28:00.237 回答