Introduction à la dérécursivation

Contenu du cours

• TD sur la dérécursivation ( .ps.gz )( .dvi.gz )

Livres de réference

• "Introduction à la calculabilité", Pierre Wolper, InterEditions, Collection iia, 1991, 268 pages (ISBN 2 7296 0372 7).
  
• "Calculabilité effective et Algorithmique théorique", Patrick Vollat, Eyrolles, 1989, 186 pages.
  
• "Fondements mathématiques de l'informatique", Jacques Stern, Ediscience internationale, 1990, 318 pages (ISBN 2 84074 065 6).
  
• "Introduction to automata theory, languages, and computation", John E. Hopcroft and Jeffrey D. Ullman, Addison-Wesley, 1979, 418 pages (ISBN 0 201 02988).
  
• "Introduction to algorithms", Thomas H. Cormen, Charles E. Leisersnon and Ronald L. Rivest, MIT Press, McGraw-Hill, 1990, 1028 pages (ISBN 0 262 03141 8 (McGraw-Hill), ISBN 0 07 013143 0 (MIT Press)).