Обычная универсальная ЭВМ (например, машина Тьюринга) логически необратима – ее функция перехода не имеет однозначной обратной функции. В работе показано, что такие машины можно сделать логически обратимыми на каждом шаге, сохраняя их простоту и способность делать общие вычисления.

Этот результат представляет большой физический интерес, поскольку он указывает на возможность существования термодинамически обратимых компьютеров, которые могли бы производить нужные вычисления с приемлемой скоростью, теряя на каждом логическом шаге энергию, значительно меньшую, чем $k T$. На первой стадии вычислений логически обратимым автоматом его действия подобны действиям соответствующего необратимого автомата за тем исключением, что они сохраняют все промежуточные результаты, избегая таким образом необратимых операций стирания. Вторая стадия состоит в распечатывании ожидаемых выходных данных. Затем третья стадия располагает все ненужные промежуточные результаты в обратном порядке, проходя шаги первой стадии в обратном порядке (процесс возможен только потому, что первая стадия была выполнена обратимым аппаратом), таким образом, восстанавливая машину (за исключением ленты с выходными данными) до своего начального состояния. Таким образом, конечное состояние машины содержит ожидаемые выходные данные и восстановленную копию входных данных, но никаких излишних данных. Предложенная схема явно демонстрируется на примере трехленточной машины Тьюринга. В качестве физического примера обратимых вычислений обсуждается биосинтез переносчика информационной РНК.