Post–Turing machine