我正在学习上下文无关语法,我很好奇 f 和 g 部分中带星号的箭头和不带星号的箭头是什么意思:
- f 是假的。
- g 是真的。
我正在学习上下文无关语法,我很好奇 f 和 g 部分中带星号的箭头和不带星号的箭头是什么意思:
“x ⇒ y”意味着 y 可以在语法的某些产生式的一个应用中从 x 导出。将星号放在 ⇒ 上意味着 y 是通过对某些产生式序列的零个或多个(但数量有限!)应用从 x 推导出来的。
有关说明,请参见http://en.wikipedia.org/wiki/Context-free_grammar#Repetitive_rule_application。
也就是说,如果 u 星箭头 v,则存在从 u 到 v 的一系列规则应用。