Normal view MARC view ISBD view

Sipser, Michael.

Introduction to the theory of computation / Michael Sipser. - 3rd ed. - Boston, MA : Cengage Learning, c2013. - xxii, 458 p. : ill. ; 24 cm.

Bibliogr.: p. 443-447.

Regular languages -- Context-free languages -- The Church-Turing thesis -- Decidability -- Reducibility -- Advanced topics in computability theory -- Time complexity -- Space complexity -- Interactibility -- Advanced topics in complexity theory. 1. 2. 3. 4. 5. 6. 7. 8. 9. 10.

ISBN: 9781133187790 113318779X

Subjects--Topical Terms:
Théorie des automates.
Complexité de calcul (Informatique)
Machine theory.
Computational complexity.
Automates mathématiques, Théorie des.
Complexité de calcul (informatique).
Informatique--Modèles mathématiques.
Turing, Machines de.
Décidabilité (logique mathématique).
Computational complexity.
Machine theory.

LC Class. No.: QA267 / .S56 2013

Dewey Class. No.: 511.3