Ce projet académique développe des implémentations concrètes de machines de Turing, des outils théoriques fondamentaux en informatique. Il permet de modéliser, simuler et visualiser le fonctionnement de machines de Turing classiques ou avancées (multi-bandes, universelles). Les constructions réalisées, comme l'émulation d'alphabets n-symboles par un alphabet binaire ou la machine universelle, offrent des bases pour l'étude des calculs théoriques et des algorithmes.