Can we say that a CA is reversible if, in order to deduce the previous state, you must know the initial conditions? With your CA, if you did not know that the c

Can we say that a CA is reversible if, in order to deduce the previous state, you must know the initial conditions? With your CA, if you did not know that the current state ultimately descended from one cell, you would not know whether the previous state involved two towers separated by an empty cell.