On the proof of the universarity of the 2,3-Turing machine - 186 @ hatenablog

On the proof of the universarity of the 2,3-Turing machine - 186 @ hatenablog

2-color cyclic tag systemが計算万能性を有していることが知られているので，2,3-Turing machineでそれ...概要を表示 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でプログラム書いてるのがちょっとおもしろかった（わらい