2012-07-01から1ヶ月間の記事一覧

2012-07-27

アレがチューリング完全になるかどうか

まず決定性2PDSから決定的Turing machineに変形する 2テープTuring machine(TM)への変形が殆ど明らかな気がするので，そこから1テープTMにすれば良いと思いますが．直接1テープTMにするならば次のようになるのかなーと思います．まず与えられた2本のスタック…

2012-07-26

適当に考えた言語での受理について

先日twitterに window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0], t = window.twttr || {}; if (d.getElementById(id)) return t; js = d.createElement(s); js.id = id; js.src = "https://platform.twitter.com/widgets.…