1.9 KiB
up:: puissance d'expression sibling:: expressivité pratique #informatique
[!definition] expressivité théorique l'expressivité théorique (ou pouvoir d'expression théorique) est la capacité d'un langage de programmation à exprimer des idées, indépendemment de la façilité d'exprimer ces idées. Notamment, beaucoup de lagages de programmation sont turing complétude, et ont donc le même pouvoir d'expression. C'est la taille de l'ensemble des idées représentables par un langage. Cette définition est utilisée en mathématiques ou en informatique théorique (notamment dans la théorie des langages formels, la logique...) ^definition
[!cite]+ Expressive power (computer science) - Page The first sense dominates in areas of mathematics and logic that deal with the formal description of languages and their meaning, such as formal language theory, mathematical logic and process algebra
[!note] Notes expressivité théorique : mathématique / logique. en rapport avec la description formelle d'un langage. ^8W7EHIJNaQ9KCGU98g5383243
Exemples
[!cite]+ Expressive power (computer science) - Page For example, the Web Ontology Language expression language profile (OWL2 EL) lacks ideas (such as negation) that can be expressed in OWL2 RL (rule language). OWL2 EL may therefore be said to have less expressive power than OWL2 RL. These restrictions allow for more efficient (polynomial time) reasoning in OWL2 EL than in OWL2 RL. So OWL2 EL trades some expressive power for more efficient reasoning (processing of the knowledge representation language). ^MCRWAN6WaQ9KCGU98g5383243