Talk:Reversible Brainfuck
From Esolang
A suggestion for increased symmetry, similar to Kayak: Let the . command zero its cell, and let the tape be left-infinite as well. This way any program which ends with a cleared tape can easily be turned into a reversed program. --Ørjan 17:27, 30 Dec 2006 (UTC)
- That would mean that . would be irreversible unless the output were taken into account (which is how Kayak does it), so there's an issue with how much of the system is looked at when considering reversibility. I do like additional symmetry, though. --ais523 11:48, 3 Jan 2007 (UTC)
It doesn't look like loops are possible. If you arrive at a [ or a ] with a nonzero cell, the interpreter will go into an infinite loop bouncing between it and its matching bracket. If it's zero, then it is a NOP. Hence, in order for a program to run successfully (without hanging the interpreter), the brackets must accomplish nothing.
I think specifying that it jumps to the instruction after the bracket solves this, so I'll assume that's what you meant.--Quintopia 07:10, 1 October 2008 (UTC)
