非決定性チューリングマシン
#情報理学I
#チューリングマシン
https://gyazo.com/da0054e01333b805352b49620f546f32
内部状態の遷移先が複数あるモデル
複数の遷移先が生じるたびに機械が複製され、それぞれの複製先から先の計算を継続していく
無限に並列化される
状態遷移のたびに指数関数的に計算量が増加