Archive de la Catégorie "ocaml"
29
novembre
2010
Simulateur de machines de Turing (partie 1)
novembre
2010
Ce billet est le premier d’une série dans lequel je vais décrire l’implantation d’un simulateur simple de machines de Turing dans le langage OCaml. De billet en billet, nous verrons comment améliorer le code pour obtenir un simulateur plus rapide. Commençons tout d’abord par définir une machine de Turing; si vous ouvrez un livre d’informatique théorique, vous y trouverez une définition très formelle et un peu intimidante des machines de Turing avec des lettres grecques: […]
Un article de gnuvince 