非決定性チューリングマシン
NTM は制限された非決定性を持つ。すなわち NTM がある入力テープ T について必ず停止するとき、有限のステップ数の後に停止するのであり、考えられる構成の数は有限である。