Turing-Machine

Program able to simulate a Turing machine from a machine description provided in Json.

Prerequisites

• Opam installed (Ocaml package manager)
• X server
• Yojson (Json library for Ocaml)

Installing

Installing Ocaml and Opam.

For Mac OS

brew install ocaml--with-x11 
brew install opam

For GNU/Linux use your distribution package manager.

example for Arch linux

pacman -S ocaml
pacman -S opam

Install json library using opam

opam install yojson

Compiling

make

./ft_turing.native --help

Example with unary sub description

./ft_turing.native unary_sub.json 1-1=

key learning

• Turing Machine
• State Machine
• Functional programming
• Algorithm Complexity - Time Complexity

Authors

• Matthias Srun - Matthias-Srun
• Brahim Hamidi - brhamidi

License

This project is licensed under the GPL v3 License - see the LICENSE file for details