Turing完全
参考文献
https://ja.wikipedia.org/wiki/チューリング完全
非形式的な定義
ある計算体系が，万能Turingマシンと等価な計算能力を持っているならTuring完全であるという．