The interpreter looks suspiciously like a turing machine