Automata and Computability by Dexter C. Kozen
English | PDF | 1997 | 407 Pages | ISBN : 0387949070 | 23.5 MB
The aim of this textbook is to provide undergraduate students with an introduction to the basic theoretical models of computability, and to develop some of the model's rich and varied structure. Students who have already some experience with elementary discrete mathematics will find this a well-paced first course, and a number of supplementary chapters introduce more advanced concepts.