Repeated Word List

Repeated Word List (short RepWL) is a decider. It works by splitting the tape contents into blocks ("words") of a given length $l$. Consecutive blocks grouped into powers. If there are moreconsecutive repetitions than a predefined repeat threshhold $T$, the exponent is given as $T+$. Consecutive blocks with no $+$ in their exponent are called constant blocks. When the TM head is facing a constant block, the TM is simulated until it either leaves the constant block, halts, or exceeds a predefined step limit $B$. Once the TM has left the constant block, identical contiguous blocks are regrouped into powers.