有限自動機

有限自動機 DFA(確定有限自動機) 一個確定有限自動機M是一個5元組 M={S,∑,f,S0,Z} S: 是一個有限狀態集，它的每一個元素稱爲一個狀態； ∑: 是一個有窮字母表，它的每一個元素稱爲一個輸入符號； f: 是轉換函數，定義了從上的一個單值映射，即，指明當前的狀態爲p，當輸入符號爲a時，則轉換到下一個狀態q，q稱爲p的後繼狀態； S0: 是一個唯一的初始狀態；S0∈S Z: 是一個終止

>>阅读原文<<