跳至內容

半自動機

維基百科,自由的百科全書

數學計算機科學中,半自動機-act么半群在集合上的乘法性運算。從代數結構的觀點來看,它非常接近於群作用的概念。從計算機科學的觀點來看,它是只有輸入沒有輸出的自動機。從範疇論的觀點來看,作用是如範疇上的函子般重要。

這個概念也叫做S-集合M-集合M-操作數S-系統S-自動機轉移系統算子么半群變換半群轉移么半群。本文力圖表現出它們表示的是同一個概念,儘管在使用中有各種概念和術語的變體。

變換半群

變換半群變換么半群是由集合(通常稱為「狀態集合」),和映射到自身的函數或「變換」么半群半群構成的有序對。此類函數意指中的每個元素均為一映射。若是這個變換半群的兩個不同函數,則半群乘積可直覺地由函數複合得出,故吾人將定義為

注意「半群」與「么半群」的使用:有些作者將「半群」與「么半群」視為同義詞。然而此處一個半群不必然包含單位元素;而一個么半群則意指含有單位元素的半群。因為作用於集合上的函數概念永遠包括恆等函數概念在內,亦即施加於集合上時不做任何動作,故變換半群可藉由與恆等函數聯集轉為么半群。

-acts

么半群是非空集合。如果存在一個乘法運算

它滿足性質

此處1表么半群之單位元素,並且

對所有,三元組被稱為-act或簡稱右-act。一般而言,表示「的元素與的元素的右乘法」。右-act經常寫為

左-act定義類似,即

並經常表示為

一個-act變換半群十分相似,然而的元素本身不必然為函數,它們僅是某個么半群的元素。所以,必須限制的作用與么半群中的乘法一致(亦即,),因為一般而言,對於某個任意此性質可能不成立,保證此一致性可使進行函數複合時不致出問題。

一旦加上這種限制,就可以完全放心的去掉所有括號,因為么半群乘積和么半群在集合上的作用是完全滿足結合性的。特別是這允許了么半群的元素被表示為計算機科學意義上字母的字符串。這種抽象接着允許談論一般的字符串運算,並最終導致了由字母的字符串構成的形式語言概念。

-act和變換么半群的另一個差異在於,對一個-act ,么半群的兩個相異元素可能決定同樣的Q變換。若我們限制其發生,則-act與變換么半群便完全相同。

完全變換么半群

完全變換么半群(或完全變換半群)是所有映射的搜集。完全變換么半群是自由么半群,在允許所有可能性的意義上。完全變換么半群的一個特殊情況是置換群

半自動機

半自動機是三元組,這裏的是叫做「輸入字母表」的非空集合,Q是叫做「狀態集合」的非空集合,而T是「轉移函數」,

當狀態集合Q是有限集合(不是必須的!)的時候,半自動機可以被認為是確定有限自動機,但是沒有「初始狀態」 或「接受狀態」的集合A。它還可以被認為是沒有輸出只有輸入的有限狀態自動機

么半群理論的一個主要主張是半自動機等價於act;所以對於任何act,都有一個唯一的半自動機,或反過來說,對於任何半自動機,都有一個唯一的act。這可以如下這樣證實。

是從字母表生成的自由么半群,(上標* 要被理解為是Kleene星號);它是由在中字母構成的所有有限長度字符串的集合。

對於所有中的字w,設是如下遞歸定義的函數,對於所有Q中的q:

  • 如果,則,所以空字不改變狀態。
  • 如果中的字母,則
  • 如果對於,則

是個集合

集合函數複合下閉合;就是說,對於所有,有着。它還包含,它是S上的恆等函數。因為函數複合根據定義是結合性的,集合是么半群:它叫做半自動機輸入么半群特徵么半群特徵半群轉移么半群

M-同態

M-同態是映射

使得

對於所有。所有M-同態的集合通常寫為

性質

如果狀態集合Q是有限的,則轉移函數通常表示為狀態轉移表。在自由群中字符串所驅動的所有可能轉移的構造有一種叫de Bruijn圖的圖形描述。

狀態集合Q不需要是有限的。作為例子,半自動機鞏固了量子有限自動機的概念。它的狀態集合Q復投影空間給出,單獨狀態別稱為n-狀態qubit。狀態轉移給出自n×n矩陣。輸入字母表仍是有限的,而其他自動機理論的典型關鍵概念仍有效。因此,量子半自動機可簡單的定義為三元組當字母表p個字母的時候,所以對每個字母都有一個酉矩陣。這種方式規定之後,量子半自動機明顯有多種幾何推廣。比如,可以用黎曼對稱空間替代,並從它的等距群選出轉移函數。

形式語言語法么半群同構於到接受這個語言的極小自動機的轉移么半群。

範疇Act

定義右作用的代數關係形成了一個範疇Act對象M-act,而範疇的態射M-同態。

引用

  • John M. Howie, Fundamentals of Semigroup Theory(1995), Clarendon Press, Oxford ISBN 0-19-851194-9
  • Mati Kilp, Ulrich Knauer, Alexander V. Mikhalov, Monoids, Acts and Categories(2000), Walter de Gruyter, Berlin ISBN 3-11-015248-7
  • A. H. Clifford and G. B. Preston, The Algebraic Theory of Semigroups. American Mathematical Society,(1961)volume 1,(1967)volume 2.
  • F. Gecseg and I. Peak, Algebraic Theory of Automata(1972), Akademiai Kiado, Budapest.
  • Nico F. Benschop, Associative Digital Network Theory頁面存檔備份,存於互聯網檔案館) An Associative Algebra Approach to Logic, Arithmetic and State Machines(2003)Amspade Research, Geldrop, The Netherlands.