Post-Turing machine