任意の入力w=w1w2…wm{\displaystylew=w_{1}w_{2}\dotsw_{m}}について、wi∈Σ,m≥0{\displaystylew_{i}\in\Sigma,m\geq0}であり、Mがwを受容するのは、計算経路(q0,q1,....,qn){\displaystyle(q_{0},\,q_{1},....,\,q_{n})}と有限の状態列r0,r1,r2,…,rm∈Q,m≤n{\displaystyler_{0},r_{1},r_{2},\dots,r_{m}\inQ,m\leqn}が存在し、以下が成り立つ場合である。
计算定义2对于任何输入w=w1w2⋯wm,wi∈Σ,m≥0{\displaystylew=w_{1}w_{2}\cdotsw_{m},\w_{i}\in\Sigma,m\geq0}，M接受w，如果存在计算路径(q0,q1,....,qn){\displaystyle(q_{0},\,q_{1},....,\,q_{n})\,}和有限序列r0,r1,r2,⋯rm∈Q,m≤n{\displaystyler_{0},r_{1},r_{2},\cdotsr_{m}\inQ,\m\leqn}，使得(i)对于每个i=0,1,2,...m，ri{\displaystyler_{i}\,}都在计算路径上。