Can you summarize the following document?
        
  自動機是有限狀態機(FSM)的數學模型。FSM是給定符號輸入,依據(可表達為一個表格的)轉移函式“跳轉”過一系列狀態的一種機器。在常見的FSM的“米利型有限狀態機”(Mealy)變體中,這個轉移函式告訴自動機給定當前狀態和當前字元的時候下一個狀態是什麼。  逐個讀取輸入中的符號,直到被完全耗盡(把它當作有一個字寫在其上的磁帶,通過自動機的讀磁頭來讀取它;磁頭在磁帶上前行移動,一次讀一個符號)。一旦輸入被耗盡,自動機被稱為“停止”了。  依賴自動機停止時的狀態,稱呼這個自動機要麼是“接受”要麼“拒絕”這個輸入。如果停止於“接受狀態”,則自動機“接受”了這個字。在另一方面,如果它停止於“拒絕狀態”,則這個字被“拒絕”。自動機接受的所有字的集合被稱為“這個自動機接受的語言”。  但要注意,自動機一般不必須有有限數目甚至可數個狀態。比如,量子有限自動機有不可數無限個狀態,因為所有可能狀態的集合是在復投影空間中所有點的集合。所以,量子有限自動機和有限狀態機一樣,都是更一般想法拓撲自動機的特殊情況,它的狀態的集合是拓撲空間,而狀態轉移函式取自在這個空間上的所有可能函式。拓撲自動機經常叫做 M-自動機,簡單是半自動機加上接受狀態集合的補充,這裡的集合交集確定初始狀態是被接受還是被拒絕。  一般的說,自動機不需要嚴格的接受或拒絕一個輸入;它可以按某個在零和一之間的概率接受它。還是用量子有限自動機作為展示例子,它只按某個概率接受輸入。這個想法也是更一般情況幾何自動機或度量自動機的特殊情況,它的狀態的集合是度量空間,一個語言被這個自動機接受如果在初始點和接受狀態的集合之間的距離關於這個度量是足夠的小。

  自動機有如下基本概念:

  自動機可以表示為5-元組 formula_3,這裡的:  給定一個輸入字母 formula_5,可以使用簡單的 currying 技巧寫轉移函式為 formula_6,就是說,寫 formula_7 對於所有formula_8。這種方式下轉移可以被更簡單的看待: 它就是“動作”於 Q 中一個狀態上的生成另一個狀態的某種東西。你可以接著考慮重複的應用函式複合於各種函式 formula_9, formula_10 等等的結果。重複的函式複合形成一個么半群。對於轉移函式,這個么半群叫做轉移么半群,有時也叫做“變換半群”。  給定一對字母 formula_11,可以通過堅持 formula_12 定義一個新函式 formula_13,這裡的 formula_14 指示函式複合。明顯的,可以遞迴的繼續這個過程,這樣就有了為所有字 formula_15 定義的函式 formula_16 的遞迴定義,因此有了對映  這個構造也可以反過來: 給定 formula_13,可以重新構造一個 formula_19,因此兩個描述是等價的。  三元組 formula_20 被稱為半自動機。半自動機位於自動機底下,它們就是忽略了開始狀態和接受狀態的自動機。開始狀態和接受狀態的補充概念允許自動機做半自動機不能做的事情: 它們可以識別形式語言。確定有限自動機 formula_3 接受的語言 formula_22 是: 就是說,一個自動機所接受的語言是在字母表 formula_1 之上所有字 "w" 的集合,當給定為自動機的輸入的時候,將導致它停止於 formula_25 中的某個狀態。被自動機接受的語言叫做可識別語言。  當狀態集合 "Q" 是有限的時候,自動機被稱為有限狀態自動機,而所有可識別的語言是正則語言。事實上,有一個強等價: 對於所有正則語言,都有一個有限狀態自動機,反之亦然。  如上所述,集合 "Q" 不必須是有限或可數的;它可以採用一般的拓撲空間;這就得到了一般的拓撲自動機。另一種可能的推廣是度量自動機或“幾何自動機”。在這種情況下,改變了對語言的接受: 替代在 formula_26 中的最終狀態的集合包含,以在最終狀態 formula_27 和集合 formula_25 之間的度量距離的方式給出。特定型別的概率自動機是度量自動機,其度量空間是在概率空間上的測量。

  下面是三類有限自動機  儘管可以證明所有這些自動機都“可以接受同樣的語言”。你總是可以構造接受與給定的 NFA M 同樣語言的某個 DFA M。

  上述自動機接受的語言家族被稱為正則語言家族。更強力的自動機可以接受更復雜的語言。比如:

  根據 Myhill-Nerode定理,在同構意義下接受一個正則語言的最少狀態的確定有限狀態自動機是唯一的。同時我們還存在有效的演算法(時間開銷是O(n)的)構造出與給定確定有限狀態自動機等價的最小化的確定有限狀態自動機。

  確定有限狀態自動機與非確定有限狀態自動機識別的語言都是正則語言。由於正則語言的良好性質,許多為其他自動機(下推自動機或圖靈機)不能判定的問題,在有限狀態自動機的情形下,都可以得到判定,並且存在有效的演算法。  對一個確定有限狀態自動機,下述判定問題都可以判定,並且存在有效的演算法。
在理論電腦科學中,自動機理論是對抽象機和它們能解決的問題的研究。自動機理論密切關聯於形式語言理論,因為自動機經常按它們所能識別的形式語言類來分類。