計算的形式化定義

設M = ( Q, Σ, δ, q0, F ) 是一臺有窮自動機, ω = ω1 ω2 ⋯ ωn是一個字符串並且其中任一ωi是字母表Σ的成員.如果存在Q中的狀態序列r0, r1, ⋯, rn, 滿足下述條件 ： 1 ） r0 = q0 2 ) δ ( ri, ωi +1 ) = ri +1, r = 0,1, ⋯, n - 1 3 ) rn ∈ F 則M接受ω. 條件1說機器從起始狀態開始 。 條件2說機器按照轉移函數從一個狀態到另一個狀態 。 條件3說如果機器結束在接受狀態 ， 則接受它的輸入 。 如果A ={ ω | M接受ω } ， 則稱M識別語言A 。