Un modello computazionale è un modello matematico nella scienza computazionale che richiede ampie risorse computazionali per studiare il comportamento di un sistema complesso mediante simulazione al computer. Il sistema oggetto di studio è spesso un sistema complesso non lineare per il quale non sono facilmente disponibili soluzioni analitiche semplici e intuitive. D'altra parte, l'informatica reversibile è un modello di calcolo in cui il processo computazionale è in qualche misura reversibile. In un modello di calcolo che utilizza transizioni deterministiche da uno stato della macchina astratta a un altro, una condizione necessaria per la reversibilità è che la relazione della mappatura dagli stati ai loro successori sia uno-a-uno. Oggi il campo ha una consistente letteratura accademica alle spalle. Un'ampia varietà di concetti di dispositivi reversibili, porte logiche, circuiti elettronici, architetture di processori, linguaggi di programmazione e algoritmi applicativi sono stati progettati e analizzati da fisici, ingegneri elettrici e informatici.