ReversibleTuringMachine

Implements the Quadruple 1-tape Reversible Turing Machine.

See my blog post.

What is a Turing Machine?

• Turing Machines

What is a Reversible Turing Machine?

• Principles of a reversible programming language
• Reversible computing and cellular automata—A survey
• Logical Reversibility of Computation

To Start

pkg> add NiLang

pkg> dev https://github.com/JuliaReverse/ReversibleTuringMachine.jl

The example examples/counter.jl implements the counter from reference Principles of a reversible programming language