チューリング完全
Turing complete
日本語では計算完備というのかなmrsekut.icon
例
その言語がチューリング完全かどうかを確認する
「チューリング完全である」と知られているものを実装できたらチューリング完全
できるだけ楽にするためにこの中でも軽いもの実装すればいい
たとえばTSの型とかで↑この辺を実装できれば証明できる
どこかに定義を書いていた気がしたが忘れたmrsekut.icon
プログラミング言語の定義は、「チューリング完全である」みたいな感じだが
もし万能チューリングマシンより強い(?)計算モデルを作れたら、
強いとは、って感じだけど
なので、任意のプログラミング言語は万能チューリングマシンと同等であって、それ以上ではない、たぶん