非決定性チューリングマシンの非決定性は、有限オートマトンのそれとは異なり、オートマトンを押し下げますか？
入力文字列をとして与え。次に、NFAが現在状態（そしてアルファベットまでの入力を読み取った）場合、次の入力シンボルを読み取る前に、NFAは2つのNFAに分割され、1つは状態あり、もう1つはにあり、タイプ。タイプサイクルがある場合、はNFAのいくつかの状態です。次に、入力がアルファベットw_iまで読み取られるまで、状態rの別のNFAを覚えていても無駄です。 R W I R S R ε → S R ε → S ε → Q 1。。。。ϵ → q k ϵ → r q i r w iw1w2...wnw1w2...wnw_1w_2...w_nrrrwiwiw_irrrsssr→ϵsr→ϵsr \xrightarrow{\epsilon} sr→ϵs→ϵq1....→ϵqk→ϵrr→ϵs→ϵq1....→ϵqk→ϵrr \xrightarrow{\epsilon} s \xrightarrow{\epsilon} q_1....\xrightarrow{\epsilon} q_k \xrightarrow{\epsilon} rqiqiq_irrrwiwiw_i。 PDA（非決定論的）が状態rrr（かつ入力がw_iまで読み込まれるwiwiw_i）であり、循環r−→−−ϵ,ϵ→as−→−−ϵ,ϵ→aq1....−→−−ϵ,ϵ→aqk−→−−ϵ,ϵ→arr→ϵ,ϵ→as→ϵ,ϵ→aq1....→ϵ,ϵ→aqk→ϵ,ϵ→arr \xrightarrow{\epsilon,\epsilon \to a} s \xrightarrow{\epsilon,\epsilon \to a} q_1....\xrightarrow{\epsilon,\epsilon \to a} q_k …