ReversibleTuringMachine.jl

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

ReversibleTuringMachine

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 https://github.com/JuliaReverse/ReversibleTuringMachine.jl

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