« Théorie des langages formels » : différence entre les versions
(Page créée avec « ==en construction== Catégorie:Vocabulaire Catégorie:Intelligence artificielle Catégorie:24pm ==Définition== Le domaine de la théorie des langages formel... ») Balise : Éditeur de wikicode 2017 |
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
||
| Ligne 9 : | Ligne 9 : | ||
La théorie des langues formelle est née de la linguistique, comme moyen de comprendre les régularités syntaxiques des langues naturelles. En intelligence artificielle, les langages formels servent entre autres à définir la grammaire des langages de programmation et des versions formalisées de sous-ensembles de langages naturels dans lesquels les mots du langage représentent des concepts associés à des significations ou à la sémantique particulières. | La théorie des langues formelle est née de la linguistique, comme moyen de comprendre les régularités syntaxiques des langues naturelles. En intelligence artificielle, les langages formels servent entre autres à définir la grammaire des langages de programmation et des versions formalisées de sous-ensembles de langages naturels dans lesquels les mots du langage représentent des concepts associés à des significations ou à la sémantique particulières. | ||
<!-- | |||
Dans la théorie de la complexité informatique, les problèmes de décision sont généralement définis comme des langages formels, et les classes de complexité sont définies comme les ensembles de langages formels pouvant être analysés par des machines dotées d'un pouvoir de calcul limité. | Dans la théorie de la complexité informatique, les problèmes de décision sont généralement définis comme des langages formels, et les classes de complexité sont définies comme les ensembles de langages formels pouvant être analysés par des machines dotées d'un pouvoir de calcul limité. | ||
Dans la science logique et les fondements des mathématiques, les langues officielles sont utilisées pour représenter la syntaxe des systèmes axiomatiques, et le formalisme mathématique est la philosophie que toutes les mathématiques peut être réduite à la manipula syntaxique tion des officiels langues de cette façon. | Dans la science logique et les fondements des mathématiques, les langues officielles sont utilisées pour représenter la syntaxe des systèmes axiomatiques, et le formalisme mathématique est la philosophie que toutes les mathématiques peut être réduite à la manipula syntaxique tion des officiels langues de cette façon.--> | ||
==Français== | ==Français== | ||
| Ligne 18 : | Ligne 18 : | ||
==Anglais== | ==Anglais== | ||
''' | '''Formal language theory''' | ||
| Ligne 25 : | Ligne 25 : | ||
[https://www.24pm.com/117-definitions/363-theorie-des-langages-formels Source : 24pm Academy] | [https://www.24pm.com/117-definitions/363-theorie-des-langages-formels Source : 24pm Academy] | ||
https://en.wikiversity.org/wiki/Formal_language_theory | |||
Version du 24 avril 2020 à 08:56
en construction
Définition
Le domaine de la théorie des langages formels étudie principalement les aspects purement syntaxiques de ces langages, c'est-à-dire leurs modèles structurels internes.
La théorie des langues formelle est née de la linguistique, comme moyen de comprendre les régularités syntaxiques des langues naturelles. En intelligence artificielle, les langages formels servent entre autres à définir la grammaire des langages de programmation et des versions formalisées de sous-ensembles de langages naturels dans lesquels les mots du langage représentent des concepts associés à des significations ou à la sémantique particulières.
Français
Théorie des langages formels loc. nominale. masc.
Anglais
Formal language theory
Contributeurs: Imane Meziani, wiki
