Un article de Wikipedia.y-project.com.
On s'intéresse ici aux moyens de formaliser l'information afin de pouvoir la manipuler (principalement pour la transmettre). On ne s'intéressera donc pas au contenu mais seulement à la forme.
[] Alphabet, mot, langages
[] Définitions
On définit un alphabet comme un ensemble non vide de symboles, par exemple :
- A = , l'alphabet latin ;
- A = , les chiffres dits arabes (en fait, indiens)
- A = {0,1,...,9, A, B,...,F}, les chiffres hexadécimaux.
- A = , l'alphabet de la logique booléenne.
- A = , les bases de l'ADN qui codent notre génome (cet alphabet est le sujet principal de la bio-informatique).
On nomme lettre un élément d'un alphabet.
On nomme mot une suite finie de lettres.
La suite de 0 lettre est nommée le mot vide, notée ?.
On nomme langage un ensemble de mots associé à certaines règles d'interprétation (sans cette dernière restriction, n'importe quelle table de valeurs aléatoires pourrait être nommée langage). Dans le cas de l'ADN, ces règles sont contenues dans le ribosome, dans les langues naturels, elles sont contenues dans leur lexique, sur un ordinateur, elles sont présentes dans les circuits de l'unité centrale
[] Opérations
Soit un alphabet <math>A</math> et un entier naturel <math>n</math>.
On note <math>A^n</math> l'ensemble de tous les mots de longeur <math>n</math> sur <math>A</math>.
et on note <math>A^*</math> l'ensemble de tous les mots de <math>A</math>.
On dispose de: <math>A^* = \bigcup_{n \geq 0}^A^n</math> (fermeture de Kleene).
On définit l'opération de concaténation
<math>\cdot : A^* \times A^* \rightarrow A^*</math> qui à <math>(u, v)</math> associe un mot <math>w</math> qui est constitué de la suite de lettres de <math>u</math> puis celle de <math>v</math>.
Exemple: « marc » <math>\cdot</math> « et sophie » = « marc et sophie » (les guillemets servent à délimiter les symboles, elles ne sont pas des éléments de <math>A</math>).
- Propriétés:
- <math>\cdot</math> est associatif : <math>\forall u, v, w \in A^*, (u \cdot v) \cdot w = u \cdot (v \cdot w)</math>
- <math>\cdot</math> admet ? comme élément neutre : <math>\forall u \in A^*, u \cdot \epsilon = \epsilon \cdot u = u</math>
- <math>\cdot</math> n'est PAS commutative.
[] Codages et codes
[] Codage
Soit L et M deux langages.
Un codage c de L dans M est un morphisme (pour l'operation .) injectif.
En d'autres termes, c'est une correspondance entre les mots de L et ceux 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>).
[] Code
Un langage L sur un alphabet A est un code si et seulement s'il n'existe pas deux factorisations différentes des mots <math>A^*</math> avec des mots de L.
[] Applications, exemples
Le Texte ci-dessus est disponible sous GNU Free Documentation License.
La source est wikipedia http://fr.wikipedia.org/wiki/Codage de l\\\'information
