Théorie des langages formels
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é.
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.
