Langages formels

Première partie du cours de L3 de langages formels. Animé par Marie Fortin et Sylvain Schmitz.

Ressources

Bibliographie

Quelques ouvrages recommandés :

Automates finis, langages rationnels

[Sak03]
Jacques Sakarovitch. Éléments de théorie des automates. Vuibert, 2003.

Langages algébriques

[Har78]
Michael A. Harrison. Introduction to Formal Language Theory. Addison Wesley, 1978.

En général

[Car08]
Olivier Carton. Langages formels, calculabilité et complexité. Vuibert, 2008.
[HU79]
John E. Hopcroft et Jeffrey D. Ullman. Introduction to Automata Theory, Languages, and Computation. Addison Wesley, 1979.
[Aut94]
Jean-Michel Autebert. Théorie des langages et des automates. Masson, 1994.

Analyse lexicale et syntaxique

[GBJL00]
Dick Grune, Henri E. Bals, Ceriel J.H. Jacobs et Koen G. Langendoen. Compilateurs. Dunod, 2002. Traduit de Modern Compiler Design, John Wiley & Sons, 2000.
[ASU86]
Alfred Aho, Ravi Sethi et Jeffrey Ullman. Compilateurs: Principes, techniques et outils. Dunod, 2000. Traduit de Compilers, Addison Wesley, 1986.
[SSS88]
Seppo Sippu et Eljas Soisalon-Soininen. Parsing Theory, Vol. I: Languages and Parsing. EATCS Monographs on Theoretical Computer Science volume 15, Springer, 1988.
[SSS90]
Seppo Sippu et Eljas Soisalon-Soininen. Parsing Theory, Vol. II: LR(k) and LL(k) Parsing. EATCS Monographs on Theoretical Computer Science volume 20, Springer, 1990.

À propos du LSV