User:Yayimhere/RBCL

Semantics

The program "pointer" is written as |, and starts at the start of the program:

w|11xz1yzw -> w11101xyz|w (where x y and z are length 2)
y|xz -> 1100x|yz (where x is length 2)
x1| -> |x11 (where x is length >0)
x| -> |x
y|xz -> yx|z (when x doesn't match any of the above)