TCS2016
空白記号は数値(記号)としてあらかじめ与えられているとする。

1次元CAは無限長のテープとして解釈することができる。
無限長のテープを表現するために、二つの有限可逆スタックと、一つの状態を格納する変数（これをテープヘッドと呼ぶ）を使用する。
テープヘッドの左右に有限可逆スタックを使用する。

テープを左に移動するには、テープヘッドの状態を左のスタックにプッシュし、右のスタックの状態をテープヘッドにポップする。
このとき、右スタックが空であれば静止状態をポップする。




このプログラムでは無限状相や、空白状態が指定されていないCAのシミュレートは行えない？
pushtapeはテープヘッドの位置にある状態を左のスタックへとプッシュする。
poptapeはテープヘッドの右のスタックから状態をテープヘッドの位置へとポップする。
この二つを実行することで、テープを左へ移動できる。

これらを逆呼び出しすることでテープを右へ移動できる。