Abstract: Reversibility is equivalent to surjectivity within Turing machine topological systems. Although reversibility is a decidable property in Turing machines, a proper reverse Turing machine does ...