Everything is just a turing machine after all* **

* modulo infinity

** except a small number of languages that are not