Ce cours a pour sujet l'étude et l'analyse des langages formels et de leurs éléments : les mots.
Les langages formels sont des objets fondamentaux en informatique comme les langages de programmation, compilation, codages, complexité, etc.
Langages réguliers, Automates à états finis, Expressions et grammaires régulières, Langages hors contexte, Grammaires, Automates à pile déterministes et non déterministes, Langages récursivement énumérables, Machine de Turing, Logiques de 1er ordre
Narendra Jussien, Logique(s), langages formels et complexité pour l'informatique, 2006
Jean-Michel Autebert, Théorie des langages et des automates (Français) Broché – 1 décembre 1997