LA-resume-cours-CB-040928

LANGAGES ET AUTOMATES :PLAN DES COURS (L3INFO)Ch. BoitetUniversité Joseph Fourier (Grenoble 1)UFR d’Informatique et de Mathématiques Appliquées23/9/04Cours 0 (24/9/04)I. IntroductionI.1 MotivationsModélisation de nombreux ensembles et processus complexes par des automates et des grammaires. Exemple d’unautomate décrivant les identificateurs de C.Utilisation de grammaires pour définir des langages (langages de commandes, petits langages spécialisés) et deplus en plus des classes de documents (DTD XML).Paradigmes de programmation par automates et programmation par grammaires (lex, yacc, XSLT).Le cours de LA et le cours d'AS visent à donner des connaissances de base pour préparer au cours de compilationdu M1.I.2 Objectifs théoriques et pratiques de cet enseignementComprendre, modéliser, appliquer.Seulement 20 séances (cours et TD), pas de cours HARMO ("harmonisation" mathématique cette année), ethoraires beaucoup trop chargés (24-26h+APNEE):• des compléments seront donnés en cours et éventuellement en TD selon la nécessité;• nécessité de travailler activement en cours ;• pas d'exigence de savoir refaire les preuves, mais il faudra les comprendre, et• très bien savoir les notions de base (définitions, résultats), et les algorithmes.I.3 Motivation et bref historiqueEtude des langues et des langages: Panini en Inde, Aristote, Port Royal… de la rhétorique à la logique et à lalinguistique, en passant par la philologie.Grammaires formelles : de la ...