For questions related to reversible computing, i.e. computing models where each elementary operation (and hence every computation) can be undone.

Reversible computing is a type of model of computation in which every computation can be reversed. In other words, not only can the output be computed from the input, but also the input from the output.