[{"command":"insert","method":null,"selector":".course-modal-ajax-placeholder-961821","data":"\u003Cdiv class=\u0022container content-rte\u0022\u003E\n  \u003Cdiv class=\u0022row\u0022\u003E\n    \u003Cdiv class=\u0022box col-md-6 bg-primary text-white\u0022\u003E\n      \u003Ch2 class=\u0022h1 text-left\u0022\u003E  Langages Formels\n\u003C\/h2\u003E\n                  \u003Cdiv class=\u0022field-spacing\u0022\u003E\n        \u003Cdiv class=\u0022field__label h3 dash\u0022\u003EECTS :\n          4.5\n        \u003C\/div\u003E\n      \u003C\/div\u003E\n                  \u003Cdiv class=\u0022field-spacing\u0022\u003E\n        \u003Cdiv class=\u0022field__label h3 dash\u0022\u003ESemestre calendaire :\n          Semestre 2\n        \u003C\/div\u003E\n      \u003C\/div\u003E\n            \u003Cdiv class=\u0022field-spacing\u0022\u003E\n      \u003Cdiv class=\u0022field__label h3 dash\u0022\u003ED\u00e9tail du volume horaire\u003C\/div\u003E\n                        \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n                          \u003Cspan class=\u0022field__label h4 mt-5 \u0022\u003ECours magistraux :\u003C\/span\u003E\n                                      \u003Cspan\u003E18\u003C\/span\u003E\n                      \u003C\/div\u003E\n                                \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n                          \u003Cspan class=\u0022field__label h4 mt-5 \u0022\u003ETravaux pratiques :\u003C\/span\u003E\n                                      \u003Cspan\u003E0\u003C\/span\u003E\n                      \u003C\/div\u003E\n                                \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n                          \u003Cspan class=\u0022field__label h4 mt-5 \u0022\u003ETravaux dirig\u00e9s :\u003C\/span\u003E\n                                      \u003Cspan\u003E24\u003C\/span\u003E\n                      \u003C\/div\u003E\n                                                            \u003C\/div\u003E\n        \u003Cdiv class=\u0022field-spacing\u0022\u003E\n      \u003Cdiv class=\u0022field__label h3 dash\u0022\u003ELangue d\u0026#039;enseignement\u003C\/div\u003E\n                        \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n                                      \u003Cspan\u003EFran\u00e7ais\u003C\/span\u003E\n                      \u003C\/div\u003E\n                  \u003C\/div\u003E\n        \u003Cdiv class=\u0022field-spacing\u0022\u003E\n      \u003Cdiv class=\u0022field__label h3 dash\u0022\u003EEnseignement \u00e0 distance\u003C\/div\u003E\n                        \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n                                      \u003Cspan\u003Enon\u003C\/span\u003E\n                      \u003C\/div\u003E\n                  \u003C\/div\u003E\n      \u003C\/div\u003E\n    \u003Cdiv class=\u0022box col-md-6\u0022\u003E\n                    \u003Cdiv class=\u0022field-spacing\u0022\u003E\n      \u003Cdiv class=\u0022field__label h3 dash\u0022\u003EProgramme \/ plan \/ contenus\u003C\/div\u003E\n                        \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n                                      \u003Cspan\u003E\u003Cp\u003ELe cours s\u2019articule autour de trois grands axes progressifs : les langages formels et automates finis, les grammaires hors contexte et automates \u00e0 pile, puis l\u2019analyse syntaxique.\u003C\/p\u003E\n\u003Cp\u003EPremi\u00e8re partie (5 cours) \u2013 Introduction aux langages formels, expressions rationnelles et automates finis.\u003C\/p\u003E\n\u003Cp\u003E\u0026nbsp;On y aborde la hi\u00e9rarchie de Chomsky, les op\u00e9rateurs sur les langages, le lemme d\u2019Arden et le th\u00e9or\u00e8me de Kleene. Les travaux dirig\u00e9s visent \u00e0 manipuler les op\u00e9rateurs, d\u00e9montrer des \u00e9galit\u00e9s de langages, construire et simplifier des automates d\u2019\u00e9tat fini, d\u00e9terministes et non d\u00e9terministes, effectuer des d\u00e9terminisations, supprimer les \u03b5-transitions, et appliquer les m\u00e9thodes de minimisation et de preuve de rationalit\u00e9 (lemme de la pompe, propri\u00e9t\u00e9s de cl\u00f4ture, d\u00e9cidabilit\u00e9).\u003C\/p\u003E\n\u003Cp\u003EDeuxi\u00e8me partie (4 cours) \u2013 Grammaires hors contexte et automates \u00e0 pile.\u003C\/p\u003E\n\u003Cp\u003E\u0026nbsp;Les notions d\u2019arbre de d\u00e9rivation, d\u2019ambigu\u00eft\u00e9, de normalisation (forme normale de Chomsky) et de d\u00e9cidabilit\u00e9 sont introduites. L\u2019automate \u00e0 pile est pr\u00e9sent\u00e9 comme mod\u00e8le de reconnaissance des langages alg\u00e9briques. Les exercices portent sur la construction, le nettoyage et la d\u00e9sambigu\u00efsation de grammaires, ainsi que sur la d\u00e9monstration de la nature alg\u00e9brique d\u2019un langage.\u003C\/p\u003E\n\u003Cp\u003ETroisi\u00e8me partie (3 cours) \u2013 Analyse syntaxique.\u003C\/p\u003E\n\u003Cp\u003E\u0026nbsp;Cette section couvre les m\u00e9thodes d\u2019analyse \u0026nbsp;descendantes (facile) puis ascendantes (plus difficile) \u0026nbsp;avec \u0026nbsp;les automates LR(0), SLR(1), LR(1) et LALR(1). Les \u00e9tudiants apprennent \u00e0 construire et utiliser ces automates pour analyser des langages, \u00e0 travers des exemples de complexit\u00e9 croissante.\u003C\/p\u003E\u003C\/span\u003E\n                      \u003C\/div\u003E\n                  \u003C\/div\u003E\n        \u003Cdiv class=\u0022field-spacing\u0022\u003E\n      \u003Cdiv class=\u0022field__label h3 dash\u0022\u003EObjectifs d\u0026#039;apprentissage\u003C\/div\u003E\n                        \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n                                      \u003Cspan\u003E\u003Cp\u003E\u00c0 l\u2019issue du cours, l\u2019\u00e9tudiant\u00b7e sera capable de :\u003C\/p\u003E\n\u003Cp\u003EComprendre et manipuler les notions fondamentales de langages formels et d\u2019automates finis.\u003C\/p\u003E\n\u003Cp\u003EConcevoir et d\u00e9montrer des \u00e9quivalences de langages \u00e0 l\u2019aide d\u2019outils th\u00e9oriques (lemme d\u2019Arden, lemme de la pompe, cl\u00f4tures).\u003C\/p\u003E\n\u003Cp\u003EIdentifier et construire des grammaires hors contexte et relier ces grammaires aux automates \u00e0 pile correspondants.\u003C\/p\u003E\n\u003Cp\u003EAppliquer les m\u00e9thodes d\u2019analyse syntaxique descendante et ascendante, y compris la construction et l\u2019exploitation d\u2019automates LR et SLR.\u003C\/p\u003E\n\u003Cp\u003ED\u00e9montrer \u0026nbsp;la d\u00e9cidabilit\u00e9 de probl\u00e8mes\u0026nbsp; simples sur les automates et les grammaires.\u003C\/p\u003E\n\u003Cp\u003ELe cours permet \u0026nbsp;de d\u00e9couvrir et s\u2019approprier quelques outils math\u00e9matiques, en particulier : les d\u00e9monstration par l\u2019absurde, des d\u00e9monstration de propositions utilisant des quantificateurs, les relations d\u2019\u00e9quivalence.\u003C\/p\u003E\n\u003Cp\u003ELe cours pr\u00e9pare au cours de compilation de L3, en consid\u00e9rant l\u0027analyse de vrai langage de programmation.\u003C\/p\u003E\u003C\/span\u003E\n                      \u003C\/div\u003E\n                  \u003C\/div\u003E\n        \u003Cdiv class=\u0022field-spacing\u0022\u003E\n      \u003Cdiv class=\u0022field__label h3 dash\u0022\u003EOrganisation g\u00e9n\u00e9rale et modalit\u00e9s p\u00e9dagogiques\u003C\/div\u003E\n                        \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n                                      \u003Cspan\u003E\u003Cp\u003ELe cours pr\u00e9pare aux TDs, lequels font dig\u00e9rer le cours. L\u0027UE se termine par un TP d\u0027analyse syntaxique. La note de Controle Continu comprends un devoir et\/ou mini projet.\u003C\/p\u003E\u003C\/span\u003E\n                      \u003C\/div\u003E\n                  \u003C\/div\u003E\n                        \u003Cdiv class=\u0022field-spacing\u0022\u003E\n      \u003Cdiv class=\u0022field__label h3 dash\u0022\u003EBibliographie\u003C\/div\u003E\n                        \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n                                      \u003Cspan\u003E\u003Cp\u003EAho et Ullman \u0026nbsp;\u0022Compilateurs : principes, techniques et outils\u0022.\u003C\/p\u003E\u003C\/span\u003E\n                      \u003C\/div\u003E\n                  \u003C\/div\u003E\n        \u003Cdiv class=\u0022field-spacing\u0022\u003E\n      \u003Cdiv class=\u0022field__label h3 dash\u0022\u003ENature de l\u0026#039;\u00e9valuation\u003C\/div\u003E\n                        \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n                                      \u003Cspan\u003EEvaluation Continue non Int\u00e9grale\u003C\/span\u003E\n                      \u003C\/div\u003E\n                  \u003C\/div\u003E\n      \u003C\/div\u003E\n  \u003C\/div\u003E\n\u003C\/div\u003E\n","settings":null}]