Michael Sipser, «Introduction to the theory of computation»
Publisher: Course Technology | ISBN: 0534950973 | edition 2005 | PDF | 453 pages | 34Б7 mb
“Intended as an upper-level undergraduate or introductory graduate text in computer science theory," this book lucidly covers the key concepts and theorems of the theory of computation. The presentation is remarkably clear; for example, the "proof idea," which offers the reader an intuitive feel for how the proof was constructed, accompanies many of the theorems and a proof. Introduction to the Theory of Computation covers the usual topics for this type of text plus it features a solid section on complexity theory – including an entire chapter on space complexity.