Théorie des langages

Les langues et les langages sont des supports de communication: les langues permettent aux hommes de communiquer entre eux; les langages leur permettent de communiquer avec les machines. Les langues dites naturelles sont généralement informelles et ambigües et demandent toute la subtilité d'un cerveau humain pour être interprétées correctement. Les langages formels créés par l'homme pour communiquer avec les ordinateurs sont non ambigus pour pouvoir être interprétés par une machine.
La théorie des langages s'intéresse aux concepts que l'on retrouve dans le processus de définition, d'analyse et de traduction de ces langages formels.