The sophisticated design of a reversible arithmetic logic unit (reversible ... transition function mapping states to their successors at a given later time should be one-to-one. Reversible computing ...