?1 ??2 3 1 2 3 k j k k, j ? ?? k j k k,j M = (Q,Σ,Γ, , $,q 0 ,k,δ) k ≥ 1 Q q 0 Σ Γ Σ Γ r Σ , $ 6∈ Γ