- Applied mathematics
- >
- Mathematical modeling
- >
- Models of computation
- >
- Reversible computing

- Mathematics of computing
- >
- Formal methods
- >
- Models of computation
- >
- Reversible computing

- Theoretical computer science
- >
- Formal methods
- >
- Models of computation
- >
- Reversible computing

- Theoretical computer science
- >
- Theory of computation
- >
- Models of computation
- >
- Reversible computing

Undo

Undo is an interaction technique which is implemented in many computer programs. It erases the last change done to the document, reverting it to an older state. In some more advanced programs, such as

Reverse computation

Reverse computation is a software application of the concept of reversible computing. Because it offers a possible solution to the heat problem faced by chip manufacturers, reversible computing has be

Toffoli gate

In logic circuits, the Toffoli gate (also CCNOT gate), invented by Tommaso Toffoli, is a universal reversible logic gate, which means that any classical reversible circuit can be constructed from Toff

Reversible computing

Reversible computing is any model of computation where the computational process, to some extent, is time-reversible. In a model of computation that uses deterministic transitions from one state of th

Reversible cellular automaton

A reversible cellular automaton is a cellular automaton in which every configuration has a unique predecessor. That is, it is a regular grid of cells, each containing a state drawn from a finite set o

Billiard-ball computer

A billiard-ball computer, a type of conservative logic circuit, is an idealized model of a reversible mechanical computer based on Newtonian dynamics, proposed in 1982 by Edward Fredkin and Tommaso To

Janus (time-reversible computing programming language)

Janus is a time-reversible programming language written at Caltech in 1982. The operational semantics of the language were formally specified, together with a and an invertible self-interpreter, in 20

Fredkin gate

The Fredkin gate (also CSWAP gate and conservative logic gate) is a computational circuit suitable for reversible computing, invented by Edward Fredkin. It is universal, which means that any logical o

Nondeterministic constraint logic

In theoretical computer science, nondeterministic constraint logic is a combinatorial system in which an orientation is given to the edges of a weighted undirected graph, subject to certain constraint

Rollback (data management)

In database technologies, a rollback is an operation which returns the database to some previous state. Rollbacks are important for database integrity, because they mean that the database can be resto

© 2023 Useful Links.