チューリングマシン
Indeed, as examples at Turing machine examples, Post–Turing machine and partial function show, the work can be "complicated".