Un modelo computacional es un modelo matemático en la ciencia computacional que requiere amplios recursos computacionales para estudiar el comportamiento de un sistema complejo mediante simulación informática. El sistema estudiado suele ser un sistema no lineal complejo para el que no se dispone de soluciones analíticas sencillas e intuitivas. Por otro lado, una computación reversible es un modelo de computación en el que el proceso de cálculo es, en cierta medida, reversible. En un modelo de computación que utiliza transiciones deterministas de un estado de la máquina abstracta a otro, una condición necesaria para la reversibilidad es que la relación del mapeo de los estados a sus sucesores debe ser uno a uno. En la actualidad, este campo cuenta con un importante cuerpo de literatura académica que lo respalda. Físicos, ingenieros eléctricos e informáticos han diseñado y analizado una gran variedad de conceptos de dispositivos reversibles, puertas lógicas, circuitos electrónicos, arquitecturas de procesadores, lenguajes de programación y algoritmos de aplicación.