r *表達式NFA

Question

我已經找到此圖片，它代表r *表達式NFA。 我的問題是：不應該有一個箭頭鏈接第二個節點到第三個節點？這樣，如果我有一個「rr」字符串，當第一個符號被讀取時，我進入第二個節點，但從那裏不能去任何地方，因爲沒有外出的箭頭。 http://imageshack.us/f/641/screenshot20111021at114.png/

Answer 1

鏈接的圖像意味着一些假設。

• 標記爲「E」的箭頭暗示爲「epsilon轉變」，這是一種不會修改當前符號的變化狀態。遵循這樣的箭頭並不「消耗任何輸入」
• 標記爲「R」的矩形區域意味着「自動機接受R」。如果您達到該區域的起始狀態（圖像左側的第二個圓圈），則盒裝區域將接受任意子語言的R。 R被用作變量，就像它在基本正則表達式R*中一樣。我們在開始和結束狀態之間看不到任何箭頭，因爲我們沒有定義什麼意思;它是可變的，我們可以使用任何東西。