2D-Reverse is a esoteric programming language invented by User:Zzo38. It is a reversible programming language. There are 2 memory-spaces, which are 2D infinite in all directions, and the value of each is 2 integers, a horizontal value and vertical value (it can be represented by a ordered pair or a complex number), all values are starting at zero. Each memory space has its own pointer. There is also 1 program pointer that can be in one space in the program, and a direction (N, S, E, W). It starts at the $ and going east. The program pointer will wrap around the program area.
- \ or / = Program pointer reflects off of the mirror.
- 1 = Move first memory pointer in same direction as program pointer is moving.
- 2 = Move second memory pointer in same direction as program pointer is moving.
- $ = Program starts here.
- @ = Program can end here.
- s = Swap values at first memory pointer and second memory pointer.
- X = Acts as / if value at first memory pointer (both horizontal and vertical) is zero, or \ if is non-zero.
- + = Value at first memory pointer is adjusted 1 space by direction of program pointer. (Ex: (0,0) W = (-1,0) and (6,7) N = (6,8))
- = = Horizontal value of value at first memory pointer is XORed by horizontal value of value at second memory pointer.
- x = Acts as \ if horizontal value at first memory pointer is zero, or / if is non-zero.
- C = If program pointer east, then value at first memory pointer is rotated clockwise (as a complex number: multiply by -i), if program pointer west, then value at first memory pointer is rotated counter-clockwise (as a complex number: multiply by +i), if north or south then it does nothing.
- . or space = Does nothing.
- ; = Program pointer jumps to next command past next ; in same direction as it is moving. If there isn't any, then it wraps around the program area to the next ; command.
If value at pointer is (1,0) or (0,0), it will switch the value:
/+X+\ $X \..@ \.../
Move memory pointer right
Move memory pointer left
/.\ $\1\@ \./
Loop while not zero (put inside-loop code at * and extend the other lines with periods or spaces to match the length):
/.2*.\ = . $2s+s=X....x=2@ \..../
I believe this makes it Turing-complete.