チューリングマシン
Two-stack Turing machine.