Ce cours est une introduction à la théorie des langages formels. L'étude des langages formels comporte principalement deux aspects :

-  La description des langages  par des grammaires formelles.

-  La reconnaissance des langages par des automates.