Post-Turing machine

1. REDIRECT Post–Turing machine

{{R from modification}}