Crée par Alan Turing, une machine dite « de Turing » est un modèle du fonctionnement des appareils mécaniques de calcul. Elle permettait à l’origine de représenter une personne virtuelle exécutant une procédure bien définie – un algorithme – en changeant le contenu des cases d’un tableau infini, ces cases contenant un ensemble fini de symboles.
La thèse de Church-Truing postule que tout problème de calcul fondé sur une procédure algorithmique peut etre résolue par une machine de Turing.
Lors de cet atelier est également diffusée la vidéo de la machine de Turing en LEGO, construite par l’ENS Lyon (en savoir plus).
Une animation proposée par Louis Rabiet et David Gross-Amblard
