Un prototype programmable pour concrétiser la machine de Turing

Accueil Alan TURING Histoire Machine de Turing Le prototype expérimental réalisé Quelques diagrammes de machines de Turing pour ce prototype Interventions Presse Contact Nouvelle machine
Machines Idées Descriptif Fonctionnement Technologie 1ère machine de Turing Traitement des chaînes Calculateurs Suites Intéressant Lycées Universités Conférences Vidéos

  Calculateurs  
 
A) CALCULS AVEC DES NOMBRES ÉCRITS EN UNAIRE
 
Addition de 2 unaires
Solution 1

2 états
 
Addition de 2 unaires
Solution 2
Ajouter X à droite de Y

5 états
 
Soustraire X à Y écrits en unaire
Avec X < Y

3 états
 
Multiplication de deux entiers
écrits en unaire


10 états
 
Division Euclidienne
par 3 en unaire


8 états
 
Calcul de N modulo p
en unaire
N > 0 et p > 0


7 états
 
Division euclidienne
de A par B en unaire


9 états





 
Calcul de 2n en unaire

La machine traite l'unaire comme
le binaire auquel il faudra
ajouter 1 pour obtenir 2n

6 états
 
Comparaison de deux unaires

8 états





 
B)     Passages     unaires vers binaires     et     binaires vers unaires
 
Ecriture d'un unaire en binaire
5 états
 
Ecriture d'un binaire en unaire
6 états
 
C) CALCULS AVEC DES NOMBRES BINAIRES
 
Ajouter 1 en binaire
1 état
 
Soustraire 1 à un binaire
1 état

Le binaire > 1
 
Addition de deux
nombres binaires


6 états
 
Soustraire un binaire à un autre
6 états


On suppose X > Y > 0
 
Soustraire un binaire à un autre
avec suppression des 0 inutiles

9 états


On suppose X > Y > 0
 
Calcul de 3n en binaire

Multiplier par 11


3 états


 
Calcul de 3n + 1 en binaire

4 états
 
Calcul de 3n + 2 en binaire

4 états
 
Division par 11
avec test de divisibilité
et suppression des 0 muets.


11 états
































 
Calcul de 5n en binaire

Multiplier par 101


5 états
 
Calcul de 5n + 1 en binaire

6 états
 
Calcul de 5n + 2 en binaire

6 états
 
 
Calcul de 5n + 3 en binaire

6 états
 
 
Calcul de 5n + 4 en binaire

6 états
 
 
Division d'un binaire
par 101


10 états




































 
Passage du système binaire
au code Gros-Gray


2 états


 
Passage du codage Gros-Gray
au système binaire


2 états