Encodage Sémantique

Encodage sémantique

Un encodage sémantique est une « traduction » entre deux langages formels.

Dans le domaine de l'informatique, les encodages les plus courants sont la compilation d'un langage de programmation en langage machine ou en langage intermédiaire et la conversion d'un document depuis un format de données vers un autre. La compilation d'un langage de mise en forme tel que TeX, LaTeX ou TEI vers PostScript ou PDF est aussi une forme d'encodage. De même, certains pré-processeurs de haut-niveau tels que Apple WorldScript ou Camlp4 pour Objective Caml, procèdent à des encodages entre divers langages de programmation.

Définition

Formellement, un encodage d'un langage formel A dans un langage formel B est une fonction $[\cdot] : A \longrightarrow B$ qui, à chaque terme de A, associe un terme de B.

S'il existe un encodage 'satisfaisant' de A vers B, on considère que le langage B est 'au moins aussi puissant' (ou 'expressif') que le langage A.

Propriétés des encodages

La notion informelle de « traduction » entre deux langages, ou même l'existence d'une fonction de A vers B, est insuffisante pour comparer l'expressivité de deux langages. En effet, pour peu que le langage B ne soit pas vide, il est toujours possible de trouver une fonction qui à tous les termes de A associe le même terme de B. Il est donc nécessaire de définir dans quelles circonstances un encodage est suffisant.

Cette notion dépend de l'application. Nous présentons ici quelques propriétés classiques considérées comme importantes.

Préservation des compositions

$\Rightarrow$: Pour tout opérateur d'arité n $o p A$ dans A, il existe un opérateur d'arité n $o p B$ dans B tel que; $\forall T_A^1,T_A^2,\dots,T_A^n, [op_A(T_A^1,T_A^2,\cdots,T_A^n)] = op_B([T_A^1],[T_A^2],\cdots,[T_A^n])$
Interprétation: Si l'encodage dispose de cette propriété, il est possible de travailler sur des composants séparés, que ce soit pour les compiler ou pour les étudier. Cette propriété est généralement considérée comme indispensable.
$\Leftarrow$: Pour tout opérateur d'arité n $o p A$ dans A, il existe un opérateur d'arité n $o p B$ dans B tel que; $\forall T_B^1,T_B^2,\dots,T_B^n, \exists T_A^1,\dots,T_A^n, op_B(T_B^1,\cdots,T_B^N) = [op_A(T_A^1,T_A^2,\cdots,T_A^n)]$
Interprétation: Cette propriété garantit la possibilité de désencoder les termes encodés.

Ce document provient de « Encodage s%C3%A9mantique ».

Catégorie : Langage formel

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Encodage Sémantique de Wikipédia en français (auteurs)

Игры ⚽ Поможем написать реферат

Regardez d'autres dictionnaires:

Encodage semantique — Encodage sémantique Un encodage sémantique est une « traduction » entre deux langages formels. Dans le domaine de l informatique, les encodages les plus courants sont la compilation d un langage de programmation en langage machine ou en … Wikipédia en Français
Encodage sémantique — Un encodage sémantique est une « traduction » entre deux langages formels. Dans le domaine de l informatique, les encodages les plus courants sont la compilation d un langage de programmation en langage machine ou en langage… … Wikipédia en Français
Encodage — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Sur les autres projets Wikimedia : « Encodage », sur le Wiktionnaire (dictionnaire universel) Le substantif encodage et le verbe encoder… … Wikipédia en Français
Réseau sémantique — Exemple de réseau sémantique sous KAD Office … Wikipédia en Français
Memoire semantique — Mémoire sémantique En psychologie cognitive, la mémoire sémantique est le système mnésique par lequel l individu stocke ses connaissances générales (connaissances factuelles sur le monde, définitions de concepts abstraits, etc.). C est une base… … Wikipédia en Français
Mémoire Sémantique — En psychologie cognitive, la mémoire sémantique est le système mnésique par lequel l individu stocke ses connaissances générales (connaissances factuelles sur le monde, définitions de concepts abstraits, etc.). C est une base de connaissances, un … Wikipédia en Français
Mémoire sémantique — En psychologie cognitive, la mémoire sémantique est le système mnésique par lequel l individu stocke ses connaissances générales (connaissances factuelles sur le monde, définitions de concepts abstraits, etc.). C est une base de connaissances, un … Wikipédia en Français
Memoire a long terme — Mémoire à long terme En psychologie cognitive, la mémoire à long terme (MLT) est la mémoire au sens courant. La notion de MLT prend tout son sens dans le cadre des modèles de la mémoire qui distinguent plusieurs sous systèmes en fonction du type… … Wikipédia en Français
Mémoire À Long Terme — En psychologie cognitive, la mémoire à long terme (MLT) est la mémoire au sens courant. La notion de MLT prend tout son sens dans le cadre des modèles de la mémoire qui distinguent plusieurs sous systèmes en fonction du type d information… … Wikipédia en Français
Mémoire à long terme — En psychologie cognitive, la mémoire à long terme (MLT) est la mémoire au sens courant. La notion de MLT prend tout son sens dans le cadre des modèles de la mémoire qui distinguent plusieurs sous systèmes en fonction du type d information… … Wikipédia en Français

Dictionnaires et Encyclopédies sur 'Academic'

Encodage Sémantique