確定型有限自動機(DFA)
接受狀態(an accept state)
接受狀態是一個意思為「是」的狀態——如果機器已讀完整個輸入、且正停在這些狀態之一,裁決就是接受。在圖中,接受狀態畫成雙圓圈;在五元組裡,接受狀態是集合 F(Q 的一個子集,可以為空,也可以是整個 Q)。
初學者必須內化的關鍵細節是:接受/拒絕的決定只在最後做一次,且只依據最終狀態。在執行途中經過接受狀態並不代表什麼;真正算數的是輸入用完時你所在的狀態。一個字串被接受,恰好當它的執行以落在 F 中作結,否則就被拒絕。途中造訪 B 又離開,並不能換來接受,除非你恰好在最後又回到 B。
把哪些狀態標記為接受,是一項使規格完整的設計選擇。狀態追蹤事實;F 則挑出你願意稱之為成功的事實組合。「以 1 結尾」的機器、「可被 3 整除」的機器與「a 的個數為偶數」的機器,可能與另一種語言共用同一套狀態與轉移結構,而僅僅在哪些狀態屬於 F 上有所不同。
在計算 1 之奇偶性的機器上,選 F = {Even} 會接受「1 的個數為偶數」的字串,而選 F = {Odd}(相同狀態、相同 δ)則接受「1 的個數為奇數」的字串。改變的只有接受狀態的集合。
接受只由最終狀態決定;執行途中造訪 F 並不算數。
F 可以為空(此時 DFA 完全不接受任何字串,辨識的是空語言)——這完全合法,且不同於「只接受空字串 ε」。
又稱
另見