Talk:MiniBitMove

I think this language is actually even less powerful than LBA. More specifically, this program is equivalent to XOR by a constant. Here is the proof

1. Repeat the input program and take the first n zeroes and all bits before it, where n is the length of the tape
2. Split the string by zero
3. For each substring, get modullo 2 of the length of the string.
4. Read it as bitstring to be XOR-ed to the tape.

Xwtek (talk) 15:53, 10 November 2022 (UTC)