データスタックとリターンスタックがないと
チューリングマシンと等価じゃないらしいぞ