L’objectif de ce cours est une initiation à la théorie des langages formels.

Les langages permettent aux humains d’échanger des informations et des idées et de communiquer avec les machines.

Les langages utilisés entre les humains sont appelés ‘langages naturels’, ils sont généralement informels et ambigus et demandent une interprétation par un cerveau humain pour être interprétés correctement.

Les langages créés par l’homme pour communiquer avec la machine sont les langages formels ou artificiels. Ils doivent être formalisés et non ambigus pour pouvoir être interprétés par une machine, c’est le but de module.