チューリング互換ということは、再帰関数も計算できるんだよねえ。
どうやるんだろう。