非決定性チューリングマシン
nondeterministic Turing machine, NDTM
#計算複雑性理論
#計算モデル
定義
$ k-tape nondeterministic Turing machine