Turing完全であることの示し方
定義的には，万能Turingマシンと同等の計算能力があること，すなわち万能Turingマシンを作って見せれば良い．
が，作ったものが実際万能Turingマシンであるかどうかをチェックするのは面倒だし，そもそも構成するのが大変という場合もある
そのような際はTuring完全である他の計算モデルを構成しても良い．
Rule110: 2次元セルオートマトンの特殊なルール
Tag System(計算モデル)
WangのBマシン
Accidentally Turing-Completeはそういった例を集めている(?)
HTML5+CSS3のTuring完全性はRule 110を構成しているっぽい？
Turing Completeness of TypeScript Type Systemは素朴に万能Turingマシンを構成している気がする