Turing machine rule 2506