有限状态自动机

有限自动机是更一般化的状态转化图。分为确定有限自动机（DFA）和不确定有限自动机（NFA）。    1.确定的有限状态自动机      M =（S，∑，f，So，Z）其中：  S是一个有限状态集合。 ∑是一个字母表，输入字符的集合。 f是从S x ∑*至S的子集映照。 S0⊆S，是唯一的初态。   Z⊆S，是一个终态集。   下图为一个确定的有限状态自动机     2.不确定的有限状态自动机   

>>阅读原文<<