Bibliographie (en travaux)
Généralités. Les ouvrages de Alfred Aho et Jerry Ullman, presque tous traduits en
français, constituent une source excellente pour tous les sujets vus
dans ce cours. Mais on pourra aussi consulter avec profit l'excellent
manuel (Partee, ter Meulen & Wall 93), qui traite tous les
aspects de ce cours (sauf la traduction dirigée par la syntaxe et la
compilation), d'une façon moins complète, mais souvent mise en
perspective par rapport au traitement du langage naturel.
Les bases des automates sont présentées, avec des exercices, dans le
chapitre 17 de (Partee, ter Meulen & Wall, 93), mais les
algorithmes vus en cours n'y sont pas présentés. Les algorithmes de
minimisation, déterminisation, élimination des epsilon-transitions
sont présentés dans (Hopcroft & Ullman, 79). L'algorithme de
conversion d'une expression rationnelle en automate est décrit dans
tous les manuels ; celui qui convertit un automate en expression
rationnelle (algorithme de Mac Naughton et Yamada) est décrit dans
(Autebert 87, pp. 88) (d'une façon assez technique).
Les grammaires formelles sont traitées dans une multitude
d'ouvrages.
- Jean-Marie Autebert, Langages algébriques, Masson
(Paris), 1987.
- Barbara Partee, Alice ter Meulen & Robert
E. Wall, Mathematical Methods in Linguistics, Kluwer
Academic Publishers, 1993.
- J.E. Hopcroft and Jerry D. Ullman, Introdduction to Automata
Theory, Languages, and Computation, Addison Wesley Publishing
Co. (Reading, Ma), 1979.
- A. Aho, R. Sethi & J. Ullman :
Compilateurs, principes, techniques et outils,
Interéditions, 1989.
- D. Jurafsky & J. Martin :
Speech and Language Processing,
Prentice Hall, 2000.
- A. Aho & J. Ullman :
The Theory of Parsing, Translation, and Compiling,
Prentice Hall, 1972.
- A. Aho & J. Ullman : Concepts fondamentaux de l'informatique, Dunod, 1992.
|