TD sur la dérécursivation (
.ps.gz
)(
.dvi.gz
)
TD sur la dérécursivation (
.ps.gz
)(
.dvi.gz
)
"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)).