Théorie des Langages - Analyse Lexicale et Syntaxique cours en pdf

Ce cours se propose d’étudier en détail la notion de langage formel, initialement introduite par Noam Chomsky et son équipe dans le but de formaliser les langues naturelles. Si l’application aux langues naturelles a révolutionné leur étude, le but ultime consistant à automatiser le traitement de ces langues a largement échoué, au jour d’aujourd’hui en tout cas. Par contre, les travaux qui en ont résulté ont trouvé leur application naturelle dans le traitement automatisé des langages informatiques: la compilation, généralement découpée en analyse lexicale, analyse syntaxique, analyse sémantique et génération de code est une suite de traitements langagiers de complexité croissante : l’analyse lexicale met en oeuvre les traitements les plus simples, qui relèvent des langages dits réguliers; l’analyse syntaxique a pour but d’analyser la structure syntaxique des phrases, qui relève des langages dits “hors-contxte” ; enfin, les traitements dits sémantiques, comme le typage, mettent en jeu des structures langagières complexes, dites contextuelles. On retrouve également la notion de langage en théorie de la calculabilité, et en théorie de la complexité. On la retrouve enfin au coeur de l’un des grands succès de la discipline, la vérification de programmes, qui a réussi ces dernières années une percée industrielle remarquée.