1

我找到了这张图片，它代表 r* 表达式 NFA。我的问题是：不应该有一个箭头将第二个节点连接到第三个节点？这样，如果我有一个“rr”字符串，当第一个符号被读取时，我会进入第二个节点，但是从那里不能去任何地方，因为没有传出的箭头。 http://imageshack.us/f/641/screenshot20111021at114.png/

4

1 回答 1

1

链接的图像暗示了几个假设。

  • 标有“E”的箭头暗示“epsilon 转换”，一种不修改当前符号的变化状态。跟随这样的箭头不会“消耗任何输入”
  • 标有“R”的矩形区域暗示“接受R的自动机”。如果您到达该区域的起始状态（图像中左起第二个圆圈），则加框区域将接受R表示任意子语言。 R用作变量，就像它在基本正则表达式中一样。我们在开始和结束状态之间看不到任何箭头，因为我们没有定义R的含义；它是可变的，我们可以使用任何东西。R*
于 2011-10-21T10:12:19.457 回答