FA

=Finite-state Automate 有限狀態自動機

有限狀態自動機是為研究有限內存的計算過程和某些語言類而抽象出的一種計算模型。有限狀態自動機擁有有限數量的狀態，每個狀態可以遷移到零個或多個狀態，輸入字串決定執行哪個狀態的遷移。有限狀態自動機可以表示為一個有向圖。有限狀態自動機是自動機理論的研究對象。

分為兩類：DFA（確定有限狀態自動機）和NFA（非確定有限狀態自動機）。