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.
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
0central, -
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.