an old typewriter with lots of buttons and thread on the table in front of it

Save

Machine Turing

En informatique théorique, une machine de Turing est un modèle abstrait du fonctionnement des appareils mécaniques de calcul, tel un ordinateur et sa mémoire. Ce modèle a été imaginé par Alan Turing en 1936, en vue de donner une définition précise au concept d’algorithme ou de « procédure mécanique ». Il est toujours largement utilisé en informatique théorique, en particulier dans les domaines de la complexité algorithmique et de la calculabilité. La thèse de Church postule que tout problème…

Alan Turing Machine

Tinker Tailor Soldier Spy

Bletchley Park