有限狀態(tài)自動機(jī)是為研究有限內(nèi)存的計(jì)算過程和某些語言類而抽象出的一種計(jì)算模型。有限狀態(tài)自動機(jī)是具有離散輸入和輸出的系統(tǒng)的一種數(shù)學(xué)模型。