« Théorie des langages formels » : différence entre les versions


Aucun résumé des modifications
Balise : Éditeur de wikicode 2017
Aucun résumé des modifications
Balise : Éditeur de wikicode 2017
Ligne 1 : Ligne 1 :
==en construction==
[[Catégorie:Vocabulaire]]
[[Catégorie:Vocabulaire]]
[[Catégorie:Intelligence artificielle]]
[[Catégorie:Intelligence artificielle]]
[[Catégorie:24pm]]
[[Catégorie:24pm]]
 
[[Catégorie:Scotty]]
 
==Définition==
==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.
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.
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 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 19 : Ligne 13 :
==Anglais==
==Anglais==
'''Formal language theory'''
'''Formal language theory'''




Ligne 26 : Ligne 19 :
[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
[https://en.wikiversity.org/wiki/Formal_language_theory Source : Wikipedia]

Version du 1 mai 2020 à 16:44

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


Source : 24pm Academy

Source : Wikipedia

Contributeurs: Imane Meziani, wiki