1. 程式人生 > >[Computation]有窮自動機

[Computation]有窮自動機

字符 則表達式 定時 下一個 正則表達 位置 控制器 通過 com

有窮自動機


    *太簡單遼,可以跳過*
    有窮自動機:受到嚴格限制的實際計算機的模型
     字符串被送入稱作輸入帶的設備,帶被劃分成方格,每個方格寫一個符號。機器的主要部分是一個帶有內部結構的“黑盒子”(有窮控制器),在任一特定的時刻它處於有窮個不同的內部狀態中的一個,通過可移動的讀頭能夠了解輸入帶的任何位置上寫著什麽符號。開始時候,讀頭放在帶的最左邊的方格上,有窮控制器處於一個指定的初始狀態。每隔一定時間有窮自動機從輸入帶上讀一個符號,然後進入一個新的狀態,與當前狀態和剛讀到的符號有關(確定型有窮自動機。)讀一個符號後,讀頭在輸入帶上向右移一格,即下一步將讀到的符號。最後讀到輸入串的結尾。有窮自動機通過它最後所處的狀態表明批準與否,接受即結束在一個終結狀態。
     
     確定型有窮自動機
     非確定型有窮自動機:多個“下一個狀態”
     
     
     有窮自動機與正則表達式:並、連接、Kleene、補、交
     (正則語言封閉)
     
     狀態最小化

有窮自動機的算法:

   字符串匹配

[Computation]有窮自動機