Introduction to the theory of computation /
Sipser, Michael
Introduction to the theory of computation / Michael Sipser - Third edition - Boston, USA : Cengage Learning, 2013 - xxii, 458 pages : illustrations.
Includes bibliographical references and index.
Introduction -- 0.1 Automata, Computability, and Complexity -- 0.2 Mathematical Notions and Terminology -- 0.3 Definitions, Theorems, and Proofs -- 0.4 Types of Proof -- Exercises -- Problems -- Selected Solutions -- Automata and Languages -- 1: Regular Languages -- 2: Context-Free Languages -- Computability Theory -- The Church–Turing Thesis -- Decidability -- Reducibility -- 6: Advanced Topics in Computability Theory -- Complexity Theory -- 7: Time Complexity -- 8: Space Complexity -- 9: Intractability -- 10: Advanced Topics in Complexity Theory.
9781133187790 9788131525296
Teoría de las máquinas
Complejidad computacional
511.35
Introduction to the theory of computation / Michael Sipser - Third edition - Boston, USA : Cengage Learning, 2013 - xxii, 458 pages : illustrations.
Includes bibliographical references and index.
Introduction -- 0.1 Automata, Computability, and Complexity -- 0.2 Mathematical Notions and Terminology -- 0.3 Definitions, Theorems, and Proofs -- 0.4 Types of Proof -- Exercises -- Problems -- Selected Solutions -- Automata and Languages -- 1: Regular Languages -- 2: Context-Free Languages -- Computability Theory -- The Church–Turing Thesis -- Decidability -- Reducibility -- 6: Advanced Topics in Computability Theory -- Complexity Theory -- 7: Time Complexity -- 8: Space Complexity -- 9: Intractability -- 10: Advanced Topics in Complexity Theory.
9781133187790 9788131525296
Teoría de las máquinas
Complejidad computacional
511.35