computación reversible

Computación reversible es un modelo de computación en el que el es, hasta cierto punto, reversible. En un modelo que usa deterministas de un estado de la máquina abstracta a otro, una condición necesaria para la reversibilidad es que el diagrama de relación desde un estado (con probabilidades distintas a cero) a sus sucesores debe ser de uno a uno. La computación reversible es una forma de computación no convencional.