確定有限狀態自動機

在計算理論中 ， 確定有限狀態自動機或確定有限自動機  是一個能實現狀態轉移的自動機 。 對於一個給定的屬於該自動機的狀態和一個屬於該自動機字母表的字符 ， 它都能根據事先給定的轉移函數轉移到下一個狀態 （ 這個狀態可以是先前那個狀態 ） 。