自動機是有限狀態機(FSM)的數學模型。
FSM 是給定符號輸入，依據(可表達為一個表格的)轉移函式“跳轉”過一系列狀態的一種機器。在常見的 FSM 的“Mealy”變體中，這個轉移函式告訴自動機給定當前狀態和當前字元的時候下一個狀態是什麼。
逐個讀取輸入中的符號，直到被完全耗盡(把它當作有一個字寫在其上的磁帶，透過自動機的讀磁頭來讀取它；磁頭在磁帶上前行移動，一次讀一個符號)。一旦輸入被耗盡，自動機被稱為“停止”了。
依賴自動機停止時的狀態，稱呼這個自動機要麼是“接受”要麼“拒絕”這個輸入。如果停止於“接受狀態”，則自動機“接受”了這個字。在另一方面，如果它停止於“拒絕狀態”，則這個字被“拒絕”。自動機接受的所有字的集合被稱為“這個自動機接受的語言”。
自動機 automaton 原來是模仿人和動物的行動而做成的機器人的意思。但是現已被抽象化為如下的機器。時間是離散的（t=0，1，2……），在每一個時刻它處於所存在的有限個內部狀態中的一個。對每一個時刻給予有限個輸入中的一個。那麼下一個時刻的內部狀態就由現在的輸入和現在的內部狀態所決定。每個時刻的輸出只由那個時刻的內部狀態所決定。作為自動機的例子可以舉出由McCulloch-pitts的神經模型組合所得到的神經網路模型、數字計算機等。
自動機是有限狀態機(FSM)的數學模型。
FSM 是給定符號輸入，依據(可表達為一個表格的)轉移函式“跳轉”過一系列狀態的一種機器。在常見的 FSM 的“Mealy”變體中，這個轉移函式告訴自動機給定當前狀態和當前字元的時候下一個狀態是什麼。
逐個讀取輸入中的符號，直到被完全耗盡(把它當作有一個字寫在其上的磁帶，透過自動機的讀磁頭來讀取它；磁頭在磁帶上前行移動，一次讀一個符號)。一旦輸入被耗盡，自動機被稱為“停止”了。
依賴自動機停止時的狀態，稱呼這個自動機要麼是“接受”要麼“拒絕”這個輸入。如果停止於“接受狀態”，則自動機“接受”了這個字。在另一方面，如果它停止於“拒絕狀態”，則這個字被“拒絕”。自動機接受的所有字的集合被稱為“這個自動機接受的語言”。
自動機 automaton 原來是模仿人和動物的行動而做成的機器人的意思。但是現已被抽象化為如下的機器。時間是離散的（t=0，1，2……），在每一個時刻它處於所存在的有限個內部狀態中的一個。對每一個時刻給予有限個輸入中的一個。那麼下一個時刻的內部狀態就由現在的輸入和現在的內部狀態所決定。每個時刻的輸出只由那個時刻的內部狀態所決定。作為自動機的例子可以舉出由McCulloch-pitts的神經模型組合所得到的神經網路模型、數字計算機等。