Code de Gray

Le code de Gray, également appelé code Gray ou code binaire réfléchi, est un type de codage binaire permettant de ne modifier qu'un seul bit à la fois quand un nombre est augmenté d'une unité. Cette propriété est importante pour plusieurs applications.

Code de Gray dans un codeur optique rotatif absolu à 13 pistes. Les treize pistes apparaissent sur tout le tour de la couronne située au niveau des deux vis cruciformes.

Le nom du code vient de l'ingénieur américain Frank Gray qui publia un brevet sur ce code en 1953, mais le code lui-même est plus ancien.

Principe et exemple

Le code de Gray est un codage binaire, c'est-à-dire une fonction qui associe à chaque nombre une représentation binaire. Cette méthode est différente du codage binaire naturel. Le tableau suivant montre partiellement le codage sur 4 bits (seules les 8 premières valeurs sont présentées, les huit suivantes avec le premier bit à 1 n'y sont pas).

Codage décimal Codage binaire naturel Codage Gray ou binaire réfléchi
000000000
100010001
200100011
300110010
401000110
501010111
601100101
701110100

La différence principale entre les deux est le fait que le codage de Gray de deux nombres consécutifs ne diffère que d'une position. Par exemple 5 est codé par 0111, et 6 est codé par 0101 : seul le deuxième bit change.

Méthodes d'incrémentation

Il existe plusieurs méthodes pour incrémenter (c'est-à-dire ajouter 1) à un nombre écrit selon le code de Gray.

Inverser pour obtenir un nouveau nombre

Pour passer d'une ligne à la suivante, on inverse le bit le plus à droite possible conduisant à un nombre nouveau.

Construction de la table par symétrie

Construction d'une table de code de gray par réflexion

Le nom de code binaire réfléchi vient d'une méthode de construction plus pratique pour choisir quel bit inverser quand on passe d'un nombre au suivant :

  • on choisit un code de départ : zéro est codé 0 et un est codé 1,
  • puis, à chaque fois qu'on a besoin d'un bit supplémentaire, on symétrise la liste des codes déjà obtenus (comme une réflexion dans un miroir),
  • enfin, on rajoute un 0 puis un 1 au début (à gauche) de chacun des codes. On a ainsi doublé le nombre de codes formés.

Exemple :

0 0          0  .0    0  00     0  .00     0  000
1 1          1  .1    1  01     1  .01     1  001
     miroir→------              2  .11     2  011
             2  .1    2  11     3  .10     3  010
             3  .0    3  10     ------- 
                                4  .10     4  110
                                5  .11     5  111
                                6  .01     6  101
                                7  .00     7  100

Selon la parité

Une autre méthode de calcul permettant de passer d'un nombre de Gray au suivant, et qui présente l'avantage de ne pas nécessiter de connaître l'ensemble des nombres précédents est la suivante :

  • si le nombre de 1 est pair, il faut inverser le dernier chiffre.
  • si le nombre de 1 est impair, il faut inverser le chiffre situé à gauche du 1 le plus à droite.
Exemple d'incrément basé sur la parité
4 1 (pair) 0 1 1 1 0 1 0 3 1 (impair) 0 1 0 1 1 0
dernier chiffre chiffre avant le dernier 1 .
44 → 45 0 1 1 1 0 1 1 22 → 23 0 1 0 0 1 0

Intérêt: Éviter des états transitoires

Le fait de modifier plusieurs bits lors d'une simple incrémentation peut mener, selon le circuit logique, à un état transitoire indésirable dû au fait que le chemin logique de chaque bit dispose d'un délai différent. Ainsi, lors du passage de la valeur "01" à la valeur "10" en binaire naturel, il est possible d'observer un état transitoire "00" si le bit de droite commute en premier ou "11" dans le cas contraire. Si le circuit dépendant de cette donnée n'est pas synchrone, l'état transitoire peut perturber les opérations en faisant croire au système qu'il est passé par un état normalement non atteint à ce stade. Cela apparait pour les capteurs de positions, par exemple sur des règles optiques. Ce code permet de contourner cet aléa en forçant la commutation d'un seul bit à la fois, évitant ainsi les états transitoires.

Intérêt du code de gray
Transitions incertaines sans code de Gray Transitions déterministes avec le code de Gray
Modèle théorique (en haut)

Réalité physique (en bas)
Sans code de gray deux transitions peuvent se produire au lieu d'une. Entre ces deux transition l'état intermédiaire est indéterminé et indéterminable. C'est par exemple le cas entre les transitions t1 et t2 ou entre t3 et t4. Avec le code de gray deux transitions ne peuvent se produire au lieu d'une.

Autour de t1, il n'y a pas de changement. t1 n'est pas une transition. La transition survient sur t2. Auteur de t4, il n'y a pas de changement. t4 n'est pas une transition. La transition survient sur t3.


Unicité des transitions
1 : 0 0 1 1 0 0 1 1 0
2 : 0 0 0 1 1 1 1 0 0
3 : 0 1 1 1 1 0 0 0 0

Applications

Roue codeuse

En tournant, seule une valeur change à chaque huitième de tour

Le code de gray trouve une application pratique dans la roue codeuse. Dans l'illustration, on trouve huit état et huit transitions sans qu'il n'y ait ni maximum, ni minimum, du fait des symétries. Chaque huitième de tour ne se fait sur une unique transition. Ceci permet donc bien d'encoder un angle.

L'illustration montre la forme de la roue, la table montre les transitions entre états, le graphe montre la position les transitions sur la roue. Le code est implémenté en noir et blanc, pour explication, les transitions sont explicitées en rouge, vert et bleu.

Ces explications prennent comme références les direction d'une girouette d'une girouette (E=est, N=nord, O=ouest, S=sud).

Transition i .... e .... m .... e .... i .... e .... m .... e .... i .... e .... m
Cercle extérieur Est Nord Ouest Sud Est Nord
Cercle médian EstN OuestS EstN
Cercle intérieur E NordO SudE Nord
Transition i .... e .... m .... e .... i .... e .... m .... e .... i .... e .... m


Souris

Le décodage des signaux lumineux d'un axe de souris mécanique est un décodage de code de Gray à 2 bits (décodage différentiel dans ce cas, car ce que l'on veut obtenir n'est pas la valeur décodée mais les transitions ±1 mod 4 de la valeur décodée).

Tables de Karnaugh

Le code Gray sert également dans les tables de Karnaugh utilisées lors de la conception de circuits logiques.

Code Baudot

Le principe du code de Gray se retrouve dans le code Baudot, dans lequel les voyelles et les consonnes sont classées dans leur ordre alphabétique, et un seul bit change entre deux lettres successives.

Otto Schäffler aurait également eu un télégraphe similaire.

Let ·Fig. · V · IV·   · I · II·III·
----+-----+---+---+---+---+---+---+
 A  · 1   ·   ·   ·   · ● ·   ·   ·    
É / · 1/  ·   ·   ·   · ● · ● ·   ·    
 E  · 2   ·   ·   ·   ·   · ● ·   ·    
 I  · 3/  ·   ·   ·   ·   · ● · ● ·    
 O  · 5   ·   ·   ·   · ● · ● · ● ·    
 U  · 4   ·   ·   ·   · ● ·   · ● ·    
 Y  · 3   ·   ·   ·   ·   ·   · ● ·    
 
 B  · 8   ·   · ● ·   ·   ·   · ● ·    
 C  · 9   ·   · ● ·   · ● ·   · ● ·    
 D  · 0   ·   · ● ·   · ● · ● · ● ·    
 F  · 5/  ·   · ● ·   ·   · ● · ● ·    
 G  · 7   ·   · ● ·   ·   · ● ·   ·    
 H  · ¹   ·   · ● ·   · ● · ● ·   ·    
 J  · 6   ·   · ● ·   · ● ·   ·   ·    
 Fig. Bl. ·   · ● ·   ·   ·   ·   ·    
 *  · *   · ● · ● ·   ·   ·   · 
 K  · (   · ● · ● ·   · ● ·   · 
 L  · =   · ● · ● ·   · ● · ● · 
 M  · )   · ● · ● ·   ·   · ● · 
 N  · £   · ● · ● ·   ·   · ● · ●
 P  · +   · ● · ● ·   · ● · ● · ●
 Q  · /   · ● · ● ·   · ● ·   · ●
 R  · –   · ● · ● ·   ·   ·   · ●
 S  · 7/  · ● ·   ·   ·   ·   · ●
 T  · ²   · ● ·   ·   · ● ·   · ●
 V  · ¹   · ● ·   ·   · ● · ● · ●
 W  ·  ?  · ● ·   ·   ·   · ● · ●
 X  · 9/  · ● ·   ·   ·   · ● · 
 Z  ·  :  · ● ·   ·   · ● · ● · 
 –  · .   · ● ·   ·   · ● ·   · 
 Let. Bl. · ● ·   ·   ·   ·   ·   ·  

Calcul de moitié et double

Une méthode de calcul de la moitié d'un nombre pair consiste à éliminer le dernier chiffre et donc décaler les autres chiffres d'une position à droite.

Exemple de calcul de la moitié
44 0 1 1 1 0 1 0 22 0 1 1 1 0 1
44 → 22 0 1 1 1 0 1 22 → 11 0 1 1 1 0

Une méthode de calcul du double d'un nombre consiste à insérer un chiffre supplémentaire à droite et donc décaler les autres chiffres d'une position à gauche.

  • si le nombre de chiffres 1 est pair, le nombre est pair, il faut insérer un zéro à droite
  • si le nombre de chiffres 1 est impair, le nombre est impair, il faut inverser le chiffre 1 à droite
Exemple de calcul du double
22 (pair) 0 1 1 1 0 1 11 (impair) 0 1 1 1 0
44 0 1 1 1 0 1 0 22 0 1 1 1 0 1

Transcodage binaire

Transcodage binaire / Gray

En notant un entier écrit en binaire (où est le bit de poids fort), et de même en notant le code de Gray correspondant, il est possible de montrer (par exemple en utilisant les tables de Karnaugh), que (où désigne la fonction OU exclusif) ; autrement dit, pour obtenir , il suffit d'effectuer un OU exclusif entre et ce même nombre décalé d'un bit vers la droite (c'est-à-dire, en binaire, divisé par 2), ce qu'exprime la fonction suivante écrite en langage C :

Algorithme de codage d'un nombre b en code Gray :

  g = b ^ (b >> 1)

Algorithme de décodage rapide pour des mots de 64 bits (pour des mots de 32 bits, remplacer 32 par 16) :

  long grayInverse(long n) {
    	long ish, ans, idiv;
    	ish = 1;
    	ans = n;
    	while(1) {
    		idiv = ans >> ish;
    		ans ^= idiv;
    		if (idiv <= 1 || ish == 32) 
    			return ans;
    		ish <<= 1; // double le nb de shifts la prochaine fois
    	}
  }

Exemple de conversion binaire en gray OU exclusif

Et enfin, une dernière méthode consiste à calculer le OU exclusif (symbolisé ici par le caractère ^) entre le binaire de départ et ce même binaire décalé d'un rang à droite.

Exemples : On veut représenter 7, 10, 15 en code de Gray.

7 s'écrit 0111 en base 2.

  0111
^ 0011
------
  0100

7 en décimal est représenté par 0100 en code de Gray.

10 s'écrit 1010 en base 2. D'où :

  1010
^ 0101
------
  1111

10 en décimal est représenté 1111 en code de Gray.

Un dernier exemple, 15 s'écrit 1111 en base 2.

  1111
^ 0111
------
  1000

15 en décimal est représenté par 1000 en code de Gray.


Transcodage Gray / binaire

En notant un entier écrit en binaire (où est le bit de poids fort), et de même en notant le code de Gray correspondant, selon ce qui précède, on détermine facilement le nombre binaire d'un code de Gray donné : (où désigne la fonction OU exclusif). On a donc :

etc.

Donc pour obtenir le code binaire d'un code de Gray donné, on passe de gauche (poids fort) à droite (poids faible). Le bit de poids fort est le même en binaire que dans le code de Gray . Le bit binaire suivant reste le même si le bit de Gray suivant vaut zéro et change si le bit de Gray suivant vaut 1. On répète cela pour tous les bits, jusqu'au bit de poids le plus faible.


Historique

L'ingénieur américain Frank Gray qui déposa un brevet sur ce code en 1947[1], mais le code lui-même est plus ancien; il a notamment été utilisé dans le code Baudot.

Luc-Agathon-Louis Gros, qui fut clerc de notaire puis conseiller à la Cour d'appel de Lyon, publia en 1872 un opuscule, Théorie du baguenodier par un clerc de notaire lyonnais, où ce code était présenté pour la première fois en lien avec un casse-tête, le jeu du baguenaudier[2].

Cette séquence a été notamment vulgarisée dans le jeu du baguenaudier[3] (jeu qui nous a été transmis par Jérôme Cardan et qui a été résolu par John Wallis).


Jeu du baguenaudier
Case 1 : 1 1 0 0 1 1 0 0 1 1 0
Case 2 : 1 0 0 0 0 1 1 1 1 0 0
Case 3 : 1 1 1 1 1 1 1 0 0 0 0
Case 4 : 1 1 1 0 0 0 0 0 0 0 0

Références

  1. (en) Frank Gray pour Bell Labs, Brevet U.S. 2,632,058 : Pulse code communication, déposé le 13 novembre 1947, publié le 17 mars 1953, sur Google Patents.
  2. Luc-Agathon-Louis Gros, Théorie du baguenodier par un clerc de notaire lyonnais, Lyon, Aimé Vingtrinier, (lire en ligne).
  3. Édouard Lucas, Récréations mathématiques, vol. 1, Paris, Gauthier-Villars, , « Septième récréation : Le jeu du baguenaudier », p. 161–186 : dans le « Tableau des deux marches du Baguenaudier », p. 185–186, on trouve les valeurs du code de Gray dans la colonne Baguenaudes.
  • Portail de la logique
  • Portail des mathématiques
  • Portail de l'informatique théorique
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.