チューリング・コンプリート

十分なリソースがあれば、どんな計算問題でも解くことができるマシンやシステム。