非決定性チューリングマシン
非決定性チューリング機械（ひけっていせいチューリングきかい、）は、理論計算機科学において、非決定性有限オートマトンのように働く制御機構を持つチューリング機械である。