smoking186 https://blog.hatena.ne.jp/smoking186/ 186 @ hatenablog https://186.hatenablog.com/ 2-color cyclic tag systemが計算万能性を有していることが知られているので，2,3-Turing machineでそれをエミュレートすることで万能性を示している． System 0が2,3-Turing machineで, 以下System 5まである. 5まで変形してそれで2-color cyclic tag systemをエミュレートするようだ． System 0からSystem 1とSystem 2からSystem 5の変形は理解したが，System 1でSystem 2をエミュレートするところが読めない．手を動かさないとダメっぽい．perlでプログラム書いてるのが… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2F186.hatenablog.com%2Fentry%2F20071028%2F1193547483" title="On the proof of the universarity of the 2,3-Turing machine - 186 @ hatenablog" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2007-10-28 13:58:03 rich https://186.hatenablog.com/entry/20071028/1193547483 1.0 100%