有限狀態自動機

有限自動機是更一般化的狀態轉化圖。分爲確定有限自動機（DFA）和不確定有限自動機（NFA）。    1.確定的有限狀態自動機      M =（S，∑，f，So，Z）其中：  S是一個有限狀態集合。 ∑是一個字母表，輸入字符的集合。 f是從S x ∑*至S的子集映照。 S0⊆S，是唯一的初態。   Z⊆S，是一個終態集。   下圖爲一個確定的有限狀態自動機     2.不確定的有限狀態自動機   

>>阅读原文<<