Repeated Word List: Difference between revisions
Jump to navigation
Jump to search
Constant blocks |
Added block simulation |
||
| Line 1: | Line 1: | ||
'''Repeated Word List''' (short '''RepWL''') is a [[decider]]. It works by splitting the tape contents into blocks ("words") of a given length <math>l</math>. Consecutive blocks | '''Repeated Word List''' (short '''RepWL''') is a [[decider]]. It works by splitting the tape contents into blocks ("words") of a given length <math>l</math>. Consecutive blocks grouped into powers. If there are moreconsecutive repetitions than a predefined repeat threshhold <math>T</math>, the exponent is given as <math>T+</math>. Consecutive blocks with no <math>+</math> 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 <math>B</math>. Once the TM has left the constant block, identical contiguous blocks are regrouped into powers. | ||
[[Category:Deciders]] | [[Category:Deciders]] | ||
{{Stub}} | {{Stub}} | ||
Revision as of 22:10, 20 February 2026
Repeated Word List (short RepWL) is a decider. It works by splitting the tape contents into blocks ("words") of a given length . Consecutive blocks grouped into powers. If there are moreconsecutive repetitions than a predefined repeat threshhold , the exponent is given as . 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 . Once the TM has left the constant block, identical contiguous blocks are regrouped into powers.