Simulating reversible Turing machine with NiLang.jl
Author JuliaReverse
5 Stars
Updated Last
3 Years Ago
Started In
April 2020


Implements the Quadruple 1-tape Reversible Turing Machine.

See my blog post.

What is a Turing Machine?

What is a Reversible Turing Machine?

To Start

pkg> add NiLang

pkg> dev

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