計算理論學習筆記（一）

確定性有窮自動機（DFA） 定義 注意：允許沒有接受狀態，此時接受語言爲空集；轉移函數對每一個狀態和每一個可能的輸入都恰好指定了一個狀態。 定義正則運算的並、連結和星號 正則運算的並，連結和星號都是封閉的，後面在證明DFA與NFA等價後，會用NFA對其進行證明。 常見語言的DFA狀態圖舉例 c題含某子串，首先畫出對應的子串，然後再判斷其它輸入的狀態轉換即可。 f題不含某個子串，首先畫出含某個子串的

>>阅读原文<<