Nous expliquons ce que sont les langages formels, leurs caractéristiques, exemples et types. Aussi, ses différences avec les langues naturelles.
Qu'est-ce qu'un langage formel ?
Dans l'informatique et les sciences de l'information, lorsque nous nous référons à un langage formel par opposition aux langues naturelles, nous nous référons à ces systèmes de panneaux doté de symboles primitifs et d'un système de règles d'utilisation formellement spécifié, c'est-à-dire doté d'un alphabet et d'un grammaire (ou syntaxe) formel :
- On entend par alphabet l'ensemble fini et non vide de symboles primitifs.
- Par grammaire formelle, on entend l'ensemble fini de règles de combinaison dudit alphabet pour former des chaînes finies avec une signification spécifique.
En cela, il diffère des langues naturelles, nées autour du besoin humain de communiquer, dans lesquelles les règles sont complexes et ambiguës, et le sens dépend de l'interprétation de la signes linguistiques. Pour cette raison, les langues naturelles sont infiniment plus complexes que la lecture d'une langue formelle dont Règles elles sont finies et établies d'avance.
Les langages formels sont importants pour le monde de matematiques et de la l'informatique, puisqu'ils nous permettent de créer codes communication entre les êtres humains et les machines, c'est-à-dire la la programmation. Il ne faut pas confondre les langages formels avec le niveau formel de la langue ou avec le langue formelle, qui est l'utilisation formelle, polie et formelle du langage verbal, par opposition à son utilisation familier, échevelé et informel.
Selon le linguiste américain Noam Chomsky (1928-), les langues formelles peuvent être classées en quatre types :
- Type 3 : langages réguliers dotés de grammaires régulières, c'est-à-dire de systèmes de règles qui peuvent être obtenus par des expressions régulières et qui permettent d'obtenir toutes les chaînes de symboles possibles.
- Type 2 : langages non contextuels dotés de grammaires non contextuelles, c'est-à-dire qu'ils permettent d'obtenir toutes les chaînes de symboles possibles, mais à un niveau de complexité beaucoup plus élevé que les classiques.
- Type 1 : langages contextuels dotés de grammaires contextuelles, c'est-à-dire qui permettent d'obtenir des chaînes de symboles dépendants, comme leur nom l'indique, du le contexte.
- Type 0 : langages libres dotés de grammaires libres, sans restrictions, qui produisent des langages récursivement énumérables.
Exemples de langages formels
Des exemples de langages formels sont :
- Les langages de programmation avec lequel le Logiciel.
- Le jeu d'échecs, dont les pièces sont limitées et les mouvements décrits à l'avance.
- Le code Morse, qui à travers des signes courts et longs compose mots Oui nombres entiers.
- Propre logique symbolique constitue un langage formel.