自動機理論

在理論計算機科學中 ， 自動機理論是對抽象機和它們能解決的問題的研究 。 自動機理論密切關聯於形式語言理論 ， 因爲自動機經常按它們所能識別的形式語言類來分類 。