Palautuva laskenta on alalla tietojenkäsittelytieteen joka on kiinnostunut pysty kääntämään (fyysisesti tai loogisesti) laskenta. Tämä on laaja-alainen pinta-ala, joka on sovelluksia aina arkkitehtuurille ja algoritmista jaetaan kautta kvanttilaskenta .
Fyysisestä näkökulmasta tämä tarkoittaa, että tämä laskelma ei sisällä hajaantuvaa ilmiötä, joka johtaa entropian lisääntymiseen; Vaikka tämän tavoitteen saavuttaminen on fyysisesti mahdotonta termodynamiikan toisen periaatteen vuoksi , sen lähestyminen mahdollistaa prosessorien tehokkuuden kasvamisen. Itse asiassa prosessorien tehoa voidaan parantaa lisäämällä niiden kellotaajuutta ; yksi tämän menetelmän rajoitus on taipumus ylikuumentua. Suoritin, jolla pystytään laskemaan matalat hajoavat laskelmat ja tuottamaan siten vähän lämpöä, sallii korkeamman kellotaajuuden.
Loogisesta näkökulmasta tämä tarkoittaa, että tietoja ei pidä hukata, jotta voidaan palauttaa aikaisempi laskentatila. Esimerkiksi lisäys ei ole palautettavissa, koska jos voimme laskea niiden 3 ja 5 alkaen niiden summan ( 3 + 5 = 8 ), emme toisaalta löydä kahta operandia tuloksesta. Itse asiassa 3 ja 5 ovat mahdollisuus, mutta 2 ja 6 toinen, emmekä löydä alkuperäisiä operandeja ilman lisätietoja.
Tiettyjen logiikkaporttien sanotaan olevan käännettävissä, kun ne toteuttavat käänteisen toiminnon. Yksinkertaisin esimerkki palautuvasta logiikkaportista on NOT-funktio (jonka käänteinen EI ole myöskään). Muita merkittäviä esimerkkejä ovat Toffolin ja Fredkinin portit , jotka ovat sekä universaaleja että käännettäviä.