| dbo:abstract
|
- Dans de nombreux contextes (scientifique, légal, etc.), on désigne par langage formel un mode d'expression plus formalisé et plus précis (les deux n'allant pas nécessairement de pair) que le langage de tous les jours (voir langage naturel). En mathématiques, logique et informatique, un langage formel est formé :
* d'un ensemble de mots obéissant à des règles logiques strictes (dites grammaire formelle ou syntaxe) ;
* d'une sémantique. La force des langages formels est de pouvoir faire abstraction de la sémantique, ce qui rend les théories réutilisables dans plusieurs modèles. Ainsi, alors qu'un calcul particulier de paye ou de matrice inverse restera toujours un calcul de paye ou de matrice inverse, un théorème sur les groupes s'appliquera aussi bien sur l'ensemble des entiers que sur les transformations du Rubik's Cube. (fr)
- Dans de nombreux contextes (scientifique, légal, etc.), on désigne par langage formel un mode d'expression plus formalisé et plus précis (les deux n'allant pas nécessairement de pair) que le langage de tous les jours (voir langage naturel). En mathématiques, logique et informatique, un langage formel est formé :
* d'un ensemble de mots obéissant à des règles logiques strictes (dites grammaire formelle ou syntaxe) ;
* d'une sémantique. La force des langages formels est de pouvoir faire abstraction de la sémantique, ce qui rend les théories réutilisables dans plusieurs modèles. Ainsi, alors qu'un calcul particulier de paye ou de matrice inverse restera toujours un calcul de paye ou de matrice inverse, un théorème sur les groupes s'appliquera aussi bien sur l'ensemble des entiers que sur les transformations du Rubik's Cube. (fr)
|
| rdfs:comment
|
- Dans de nombreux contextes (scientifique, légal, etc.), on désigne par langage formel un mode d'expression plus formalisé et plus précis (les deux n'allant pas nécessairement de pair) que le langage de tous les jours (voir langage naturel). En mathématiques, logique et informatique, un langage formel est formé :
* d'un ensemble de mots obéissant à des règles logiques strictes (dites grammaire formelle ou syntaxe) ;
* d'une sémantique. (fr)
- Dans de nombreux contextes (scientifique, légal, etc.), on désigne par langage formel un mode d'expression plus formalisé et plus précis (les deux n'allant pas nécessairement de pair) que le langage de tous les jours (voir langage naturel). En mathématiques, logique et informatique, un langage formel est formé :
* d'un ensemble de mots obéissant à des règles logiques strictes (dites grammaire formelle ou syntaxe) ;
* d'une sémantique. (fr)
|
