Théorie des LangagesDéveloppement et Mathématiques pour l'ingénieur (STI)

• Comprendre quelques concepts et algorithmes classiques sur les automates et langages formels
• Mise en oeuvre pratique avec Lex & Yacc et dans le contexte des technologies XML

• Finite Automata
• Regular Expressions and Languages
• Context-Free Grammars and Languages
• Lex & Yacc
• XML Data Model and Typing

Contrôle Continu Intégral : 50% Interro sur papier + 50% Rendu TD machine (x2)

• Hopcroft, Motwani, Ullman. Introduction to automata theory, languages, and computation, 3rd Edition. Addison-Wesley 2007. http://infolab.stanford.edu/~ullman/ialc.html
• Levine, Mason, Brown. Lex and Yacc. O'Reilly.
• Abiteboul, Manolescu, Rigaux, Rousset, Senellart. Web Data Management, Cambridge University Press, 2011. http://webdam.inria.fr/Jorge/