1. Sipser, Michael. Introduction to the Theory of Computation. Cengage Learning, 2012.

  2. Boolos, George S., Burgess, John P., and Jeffrey, Richard C. Computability and Logic. Cambridge University Press, 2007.

  3. Cutland, Nigel. Computability: An Introduction to Recursive Function Theory. Cambridge University Press, 1980.

  4. Jones, Neil D. Computability and Complexity: From a Programming Perspective. The MIT Press, 1997.

  5. Kozen, Dexter C. Theory of Computation. Springer, 2006.

  6. Savage, John E. Models of Computation: Exploring the Power of Computing. Addison-Wesley, 1998.

  7. Pierre Wolper, « Introduction à la calculabilité », 3eme  édition, Dunod, 2006
  8. Olivier Carton, « Langages formels, calculabilité et  complexité »,Vuibert, 2008.
Last modified: Sunday, 25 February 2024, 9:23 PM