Bibliographie

Les deux premières références sont des grands classiques incontournables. Les deux suivantes sont plus faciles d'accès. Ces deux livres sont plus limités mais ils contiennent l'essentiel.

1. J. E. Hopcroft and J. D. Ullman, Introduction to Automata Theory, Languages and Computation. Addison-Wesley, 1974.
2. M. Sipser, Introduction to the Theory of Computation. PWS publishing Company, 1997.
3. J.-M. Autebert, Calculabilité et Décidabilité. Masson, 1992.
4. P. Wolper, Introduction à la calculabilité. InterÉditions, 1991.
5. J.-F. Rey, Calculablité, Complexité et Approximation. Vuibert, 2004.
6. H. R. Lewis and C. Papadimitriou, Elements of the theory of computation. Prentice-Hall, 1981.
7. M. Garey and D. Johnson, Computers and intractability. W.H. Freeman & Co, 1979.
8. C. Papadimitriou, Computational complexity. Addison-Wesley, 1995.
9. D. Welsh, Codes and Cryptography. Clarendon Press, 1988.
10. J. Stern, Fondements mathématiques de l'informatique. McGraw-Hill, 1990.