確定性/非確定性有限自動機

Question

我剛來這地方。 我目前在理解DFA和NFA時遇到一些困難。 我有一張圖紙，我無法：

-區分是DFA還是NFA

-正式規格

-如何使用GNFA算法給出正則表達式以獲得最大標記？

如果我能夠學習並獲得一些有關如何理解這一點的解釋，我將不勝感激。

在此先感謝您的寶貴時間。

Answer 1

DFA是確定的。 NFA不確定。 通過查看狀態圖的箭頭或過渡，可以輕松查看其狀態圖是DFA還是NFA。

在DFA中，每種類型的轉換功能都是通過它將接受的語言字母中的符號來記錄的。 即，每個符號將具有固定的過渡，而在NFA中，某些符號可能具有多個過渡，或者可能沒有過渡。

NFA具有以下屬性：

1. 無需閱讀任何輸入符號即可采取措施的能力
2. 狀態可能在特定符號上沒有過渡
3. 能夠在給定符號上轉換為多個狀態

對於圖像，假設您的字母是字符{a，b}，則可以看到它的類型。 你知道為什么嗎？ 有些狀態在某些符號上沒有過渡。

GNFA有點復雜。 其思想是可以將它們轉換為正則表達式。 您可以在線搜索有關該證明的信息。 您也可以在線搜索DFA和NFA的正式定義。

資料來源：我的CS理論課和https://courses.engr.illinois.edu/cs373/sp2013/Lectures/lec04.pdf