Introduction to the Theory of Computation

Introduction to the Theory of Computation


Yazar Michael Sipser
Yayınevi Course Technology Inc
ISBN 9780619217648
Baskı yılı 2005
Sayfa sayısı 400
Ağırlık 0.76 kg
Stok durumu Tükendi   

This market leading text on computational theory provides a mathematical treatment of computer science theory designed around theorems and proofs.
Introduction. Part 1: Automata and Languages. 1. Regular Languages. 2. Context-Free Languages. Part 2: Computability Theory. 3. The Church-Turing Thesis. 4. Decidability. 5. Reducibility. 6. Advanced Topics in Computability Theory. Part 3: Complexity Theory. 7. Time Complexity. 8. Space Complexity. 9. Intractability. 10. Advanced Topics in Complexity Theory. Selected Bibliography.