Une machine de Turing réalisée en Ocaml

Il s'agit d'une machine de Turing entièrement réalisée en Ocaml pour un TP de Modèle de Calcul lors de mon deuxième semestre de première année de licence.

Lancement de la machine

Pour lancer la machine de Turing, il suffit d'avoir ocaml d'installé, et de lancer ocaml turing.ml, et vous aurez la machine de test qui va se lancer. Vous aurez alors un affichage de toutes les différentes étapes.

La machine de test :

• supprime le 0 central,

• ajoute deux 0 à la fin,

• et replace la tête de lecture au début du ruban (ie. sur le premier 1)

Vous pouvez également créer vos propres machines de test en vous inspirant de includes/testMachine.ml.