« 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
 
(11 versions intermédiaires par 2 utilisateurs non affichées)
Ligne 1 : Ligne 1 :
==en construction==
[[Catégorie:Vocabulaire]]
[[Catégorie:Intelligence artificielle]]
[[Catégorie:24pm]]
==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.


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é.
La théorie des langages formels 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 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==
'''Théorie des langages formels'''    <small>loc. nominale. masc. </small>
'''Théorie des langages formels'''     
   
   
==Anglais==
==Anglais==
'''XXXXXXX'''
'''Formal language theory'''


==Sources==


[https://www.24pm.com/117-definitions/363-theorie-des-langages-formels  Source : 24pm Academy]


<small>
[https://en.wikiversity.org/wiki/Formal_language_theory  Source : Wikipedia]


[https://www.24pm.com/117-definitions/363-theorie-des-langages-formels  Source : 24pm Academy]
 
[[Catégorie:GRAND LEXIQUE FRANÇAIS]]

Dernière version du 29 janvier 2024 à 10:11

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 langages formels 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

Anglais

Formal language theory

Sources

Source : 24pm Academy

Source : Wikipedia



Contributeurs: Imane Meziani, wiki