タグシステム

研

先日の夏プロシンでちょっと話題に上がった「タグシステム」の計算可能性（タグシステムが Turing Machine と等価であること）について書かれた論文を見つけた。ACMから1964年1月に発行されたふるーいの。

タグシステムについての紹介はこのへん