Les codes de correction sont des systèmes d'annotations, de symboles simples ou de couleurs qui permettent de mettre en évidence des erreurs dans un texte ou une image (p. ex. schéma, illustration, dessin).
Code de Hamming
La distance minimale entre deux mots du code est égale à trois.
Si une unique altération se produit, alors le message reçu est à une distance de un d'un unique point du code.
Il est ainsi possible de corriger automatiquement une erreur, si l'on sait que l'erreur est unique.
Les codes linéaires sont des codes dont chaque mot du code (noté c) est obtenu après transformation linéaire des bits du mot initial (noté i).
Ces codes sont caractérisés par leur matrice G(k, n) (appelée matrice génératrice) telle que : i .
G = c.