2011-05-09 99 views
0

我有一個關於將正則表達式轉換爲非確定性有限狀態自動機的問題:轉換RE - > NFA

將(a * | b *)*轉換爲NFA。我嘗試如下:完全

enter image description here

上午我沒譜?或者在那裏?

NB E =>ε

回答

3

你NFA相同的語言(a*|b*)*匹配,所以答案是正確的。

但是,有很多NFA匹配相同的語言,在您的情況下,它可能會刪除至少三個epsilon箭頭。不過,它不會比你的建議更正確。

正則表達式(a*|b*)*也可以簡化,而不改變語義。例如。 (a|b)*相當於(a*|b*)*。如果你仔細想想,FA可以這麼簡單:

Finite Automaton equivalent to (a|b)*