什麼叫自動機呢

計算機控制系統的控制程式具有有限狀態自動機（FA）的特徵，可以用有限狀態機理論來描述。有限自動機是電腦科學的重要基石，它在軟體開發領域內通常被稱作有限狀態機，是一種應用非常廣泛的軟體設計模式。

自動機是有限狀態機的數學模型。

自動機 原來是模仿人和動物的行動而做成的機器人的意思。但是現已被抽象化為如下的機器。時間是離散的，在每一個時刻它處於所存在的有限個內部狀態中的一個。