Machine that always halts

1. REDIRECT Decider (Turing machine)

{{Redirect category shell|

{{R from move}}

}}