A computation where every step can be undone, required in quantum computing due to quantum mechanics' reversibility.