9

我正在学习上下文无关语法,我很好奇 f 和 g 部分中带星号的箭头和不带星号的箭头是什么意思:

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

在此处输入图像描述

4

2 回答 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 回答