User blog:Superiumentarius/Turing machine state reduction