Alan Turing

Définition

Mathématicien britannique, père de l'informatique théorique. Il a formalise le concept de machine universelle (machine de Turing) et a joue un role décisif dans le déchiffrement d'Enigma pendant la Seconde Guerre mondiale.

Analogie

L'architecte qui a dessine les plans de tous les ordinateurs... avant qu'aucun ne soit construit.

Exemple de code

// Machine de Turing — concept fondamental
// Etat + Ruban + Regles de transition
// Si etat=q0 et symbole=1 alors
//   ecrire 0, deplacer droite, aller q1
// Base theorique de TOUT programme

Cas d'usage

Comprendre les fondements théoriques de l'informatique : calculabilite, decidabilite et les limites de ce qu'un ordinateur peut résoudre.

Anti-pattern

Termes liés