Voir la source de Codage de l'information

== Codages et codes ==
=== Codage ===
Soit L et M deux langages.<br />
Un <tt>codage</tt> c de L dans M est un [[morphisme]] (pour l'opération <math>\cdot</math>) injectif.
En d'autres termes, c'est une correspondance entre les mots de L et ceux de M, où à tout mot de L est associé un unique mot de M et tel que le codage de la concaténée soit égale à la concaténée des codages. (<math> \forall u,v \in  L, c(u.v) = c(u).c(v) </math>).

=== Codes ===
Un langage L sur un alphabet A est un <tt>code</tt> si et seulement s'il n'existe pas deux factorisations différentes des mots <math>A^*</math> avec des mots de L.