Alan Mathison Turing, mathématicien du calculable.

Machines de Turing
à 4 états

12←00000000000000000000000000000000000000000000000000000000000000000000000000000000000000→12
1 1:0D4 12←00000000000000000000000000000000000000000000000000000000000000000000000000000000000000→12
2 4:1D2 12←00000000000000000000000000000000000000000000100000000000000000000000000000000000000000→12
3 2:1A4 12←00000000000000000000000000000000000000000000100000000000000000000000000000000000000000→12
0D40G1 1A40G1 0D31G2 1D20G1
Etat
Ecrit
Mouvement
Nouvel état
Ecrit
Mouvement
Nouvel état
1
2
3
4
- lu : 0lu : 1
ruban:110 cases.
dépl. max:40.
86 cases affichées.
Cocagne :
la machine s'est arrêtée.

1 '1' sur le ruban
2 changements d'état
2 '1' écrits en tout.
Graphe de la machine 0D40G1 1A40G1 0D31G2 1D20G1