[nom] Branche des mathématiques qui modélise les langages formels.
Sociologie Étude et description des modes de communication dans leurs caractéristiques syntaxiques, leurs structures internes formelles. La théorie des langages a pour but de décrire la construction, mais aussi la calculabilité des langages d'un point de vue linguistique, mais aussi mathématique et informatique.