Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
1 result
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.027Mar252120191813107612FebDeprecated version of MyString.ml for older version of Ocamlmastermastermake play without leditBinary Emulator: the write-move sequence is OPTIMIZEDTODO updatedREADME updatedREADME updatedREADME updatedREADME updatedREADME updatedREADME updatedREADME updatedREADME updatedREADME updatedREADME updatedDemo (runs and control flow graph) are availabledemoDot output : DONE & TESTEDDot output : IN PROGRESSBinary_Emulator for BUT and OUT : DONE and TESTEDa naive implementation of setsBinary_Emulator : TESTEDBinary_Tree: TESTEDBinary_Tree.mlExamples of Turing Machines (1B,2B)encoder/decoder of Binary Emulatorencoder/decoder of Binary Emulatordemo: BitVector emulatorBitVector emulatorMerge branch 'master' of gricad-gitlab.univ-grenoble-alpes.fr:perinmi/Turing_Machineimproved html outputfichier à compléterdescription du projet 2019Update CONTENTS.mddescription du projet 2019Merge branch 'master' of gricad-gitlab.univ-grenoble-alpes.fr:perinmi/Turing_Machineajout d'un MakefileUpdate TODO.mdlien vers le projet 2019lien vers le projet 2019projet 2019