Fondements de l'Informatique: Logique, modèles, calculs

INF 412

Prototypes physiques de Machines de Turing
- EN VENTE
  - Machine de Turing électronique (auteur: Thierry Delattre, produit en vente). 12 états max par algorithme. Pour plus d'infos écrire à contact@thamtham.fr www.machine-de-turing.fr Twitter: thamographe
- PROTOTYPES:
  - Machine de Turing mécanique réalisée par Marc RAYNAUD.
  - Machine de Turing en bois réalisée par Richard Ridel
  - Machines de Turing réalisée à l'ENS Lyon
Preuves ou vidéo "amusantes" à propos de la Turing complétude de différents systèmes ou des machines de Turing
- The LEGO Turing Machine
- La machine de Turing en cartes Magic (Passe-Science)