非決定性チューリングマシン
計算能力
クラスNP