Cengage/Higher Education/Computer Science/Introduction to the Theory of Computation
Return to search
Introduction to the Theory of Computation book cover
Student viewInstructor view

Introduction to the Theory of Computation

By Michael Sipser

3rd Edition © 2013
Discipline:Computing & Information Technology
Course:Computer Science
Starting from$71.99
See pricing details and explore formats

Get your course materials

Cengage Unlimited

Get day-one access to course content, AI-powered support, and resources to build college and career-ready skills.

Manage Subscription

eBook

Get instant access to your course content on the device of your choice, with built-in tools like highlighting, bookmarking, and search.

Hardback

Buy or Rent the textbook

Get a new, printed copy of your textbook, ready for notes and highlighting. Plus, free shipping and returns on orders. *See terms and conditions.

Added to cart.
Something went wrong. Please try again.

Questions about this product?

Get help with product, platform or format questions.

Let’s connect
Explore instructor resources

About your course materials

Now you can clearly present even the most complex computational theory topics to your students with Sipser's distinct, market-leading INTRODUCTION TO THE THEORY OF COMPUTATION, 3E. The number one choice for today's computational theory course, this highly anticipated revision retains the unmatched clarity and thorough coverage that make it a leading text for upper-level undergraduate and introductory graduate students.

This edition continues author Michael Sipser's well-known, approachable style with timely revisions, additional exercises, and more memorable examples in key areas. A new first-of-its-kind theoretical treatment of deterministic context-free languages is ideal for a better understanding of parsing and LR(k) grammars. This edition's refined presentation ensures a trusted accuracy and clarity that make the challenging study of computational theory accessible and intuitive to students while maintaining the subject's rigor and formalism. Readers gain a solid understanding of the fundamental mathematical properties of computer hardware, software, and applications with a blend of practical and philosophical coverage and mathematical treatments, including advanced theorems and proofs. INTRODUCTION TO THE THEORY OF COMPUTATION, 3E's comprehensive coverage makes this an ideal ongoing reference tool for those studying theoretical computing.

Frequently asked questions

How do I enroll in or join my course?

Your instructor will tell you how to access your course. You may join through your school’s LMS, a course link or a course key. If you’re unsure which method to use, check with your instructor.

How do I redeem an access code, or what if my code isn't working?

Sign in to your Cengage account and select Enter Access Code or Course Key, then enter your access code and select Register. If your code is damaged, missing or still doesn't work, contact Cengage Support.

Why can't I access my course?

How you access your course depends on how your instructor set it up. Start from your LMS, course link or course key. If you've purchased access but still can't open the course, Cengage Help can help you troubleshoot your access.

Where can I find my eBook or textbook?

You can access available eBooks from your Cengage student dashboard or from your Cengage course. If your class uses an LMS, your instructor may also provide access there.

What if I don't have access to my course materials yet?

Temporary access may be available for some Cengage courses. If offered, you can use your course during the grace period and purchase or register your access code before it ends. Options for expired access vary by product.

AboutTable of contentsResourcesPricing & formatsRelated products

About this product

Now you can clearly present even the most complex computational theory topics to your students with Sipser's distinct, market-leading INTRODUCTION TO THE THEORY OF COMPUTATION, 3E. The number one choice for today's computational theory course, this highly anticipated revision retains the unmatched clarity and thorough coverage that make it a leading text for upper-level undergraduate and introductory graduate students.

This edition continues author Michael Sipser's well-known, approachable style with timely revisions, additional exercises, and more memorable examples in key areas. A new first-of-its-kind theoretical treatment of deterministic context-free languages is ideal for a better understanding of parsing and LR(k) grammars. This edition's refined presentation ensures a trusted accuracy and clarity that make the challenging study of computational theory accessible and intuitive to students while maintaining the subject's rigor and formalism. Readers gain a solid understanding of the fundamental mathematical properties of computer hardware, software, and applications with a blend of practical and philosophical coverage and mathematical treatments, including advanced theorems and proofs. INTRODUCTION TO THE THEORY OF COMPUTATION, 3E's comprehensive coverage makes this an ideal ongoing reference tool for those studying theoretical computing.

CLEAR COVERAGE THOROUGHLY INTRODUCES THEORETICAL COMPUTING. This edition covers the foundations of theoretical computing designed around theorems and proofs. Students learn the fundamental mathematical properties of computer hardware, software and applications. The book blends both practical and theoretical aspects in an approachable and concise presentation.

FORMAL AND INFORMAL DEFINITIONS AND DESCRIPTIONS INCREASE STUDENT RETENTION

This edition's exceptional treatment of challenging topics incorporates both formal and informal definitions and descriptions of methods to ensure student retention and prepare readers for more advanced study.

WORKED-OUT EXAMPLES ENCOURAGE READER UNDERSTANDING. In addition to a wealth of practical, class-tested exercises, this edition offers helpful worked-out examples throughout the text to guide student practice and ensure topics are conducive to students' learning.

Table of contents

Chapters

Cover
Title
Statement
Copyright
Dedication
Contents
Preface to the First Edition
Preface to the Second Edition
Preface to the Third Edition
Ch 0: Introduction*Preview this chapter
Part 1: Automata and Languages
Part 2: Computability Theory
Part 3: Complexity Theory
Selected Bibliography
Index
Show more

Ch 0: IntroductionPreview this chapter ↗

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 ↗

Resources

Instructor resources for this title can include manuals, test banks, educator guides, multimedia and companion sites. Sign in to see what is available.

Instructor manuals
Test banks
Educator guides
Multimedia
Companion sites
Sign in to view & download

Pricing and formats

Learning Platforms
eBook
Hardback
Bundle

Give students more with Cengage Unlimited

Choose the Cengage content and Learning Platform that fit your course while giving students access to Cengage Learning Platforms and our entire eBook library with one subscription.

4-12 month student access

$169.99 – $244.99

eBook

Give students digital access to textbook content with tools to highlight, bookmark and search as they read.

6 months

ISBN-13: 9781285320731
$71.99

12 months

ISBN-13: 9781285320731
$98.99
Sign in to view & adopt this title

Hardback

Give students a new, printed copy of their course content that they can read, highlight and annotate as they learn.

Purchase

ISBN-13: 9781133187790
$369.95
Sign in to view & adopt this title

Related products

MindTapV2.0 for Lambert's Fundamentals of Python: Data Structures with 2021 Updates, 1 term Instant Access book cover
Higher Education

MindTapV2.0 for Lambert's Fundamentals of Python: Data Structures with 2021 Updates, 1 term Instant Access

Kenneth Lambert
2nd Edition © 2026
MindTap
Starting from
$100.00
View details
Microsoft Visual C#: Introduction to Object Oriented Programming book cover
Higher Education

Microsoft Visual C#: Introduction to Object Oriented Programming

Joyce Farrell
8th Edition © 2025
MindTap
Paperback
eBook
Starting from
$71.99
View details
Introduction to Algorithms and Data Structures book cover
Higher Education

Introduction to Algorithms and Data Structures

Cengage
1st Edition © 2024
Paperback
eBook
Starting from
$71.99
View details
Fundamentals of Python: First Programs book cover
Higher Education

Fundamentals of Python: First Programs

Kenneth A. Lambert
3rd Edition © 2024
MindTap
Paperback
eBook
Starting from
$71.99
View details
Web Development: Full Stack book cover
Higher Education

Web Development: Full Stack

F. Max Coller
1st Edition © 2024
Paperback
eBook
Starting from
$71.99
View details
Computer Science: A Structured Programming Approach in C book cover
Higher Education

Computer Science: A Structured Programming Approach in C

Behrouz A. Forouzan
4th Edition © 2023
Paperback
eBook
Starting from
$71.99
View details

This product is provided solely for instructional purposes, and your use of this product is governed by Cengage's Terms of Use. By using this product, you acknowledge your obligation to comply with these terms. View Terms of Use.

Cengage support team
Cengage support team

Still need support?

Get help with course access, registration, purchases or technical issues from Cengage Support.
Contact support
Cengage support team
Cengage support team

Need help?

Connect with us today, and let’s explore how we can support your goals.
Get in touch
Cengage
Higher Education
K–12
Higher Education

Higher Education

Future-focused tools to teach, learn, and build career-ready skills.
Get started

Students

Instructors

Leaders

Librarians

Career and Workforce
Sign In

Higher Education

Student
Instructor
Gale
ELL
Name
Dashboard
Profile
Sign Out
Support

Recent searches

Chemistry
Mindtap Biology
Calculus
Recent query

Suggestions

Calculus230 results
Calculus Early Transcendentals84 results
Calculus Concepts37 results
Suggestion0 results

Matching products

2 results
Abstract navy to teal gradient placeholder
TAGTAGTAG
9th Edition•© 2021

Calculus: Early Transcendentals

James Stewart, Daniel K. Clegg and Saleem Watson

Abstract navy to teal gradient placeholder
TAGTAGTAG
9th Edition•© 2021

Calculus

James Stewart, Daniel K. Clegg and Saleem Watson

TAG
Edition

Product title

Authors
No matching products. Press Enter to search the full catalog.
Product suggestions are unavailable right now. Press Enter to search the full catalog.
Searching…
Sign In

Higher Education

Student
Instructor
Gale
ELL
Name
Dashboard
Profile
Sign Out
Your basket (3)
eTextbook: Calculus | 12th Edition
eTextbook Access: 360 days
$76.99
Cengage Unlimited - Full - Multi-Term Access (12 months)
Digital Access: 365 days
$124.99
Introduction to Physical Anthropology | 15th Edition
Textbook
$124.99
This is some text inside of a div block.
This is some text inside of a div block.
This is some text inside of a div block.
Your basket is empty.
We couldn’t load your basket. Please try again.
Loading your basket…
Total:
$201.98
I’m ready to checkout
Get Support
US
Change Country
Students

Students

See Overview

Access & Use Products

Access Instructions
Help Center

Get Help

Instructors

Instructors

See Overview

Products

Disciplines
Learning Platforms
Cengage Unlimited

Access & Use Products

Instructor Support
Course Setup
Training
Help Center

Get help

Leaders & Admins

Leaders & Admins

See Overview

Programs

Cengage Unlimited
Gale

Access & Use Products

LMS Integration

Resources

Published Research
Help Center

Get help

Librarians

Librarians

See Overview

Products

Databases
Primary Sources
Digital Humanities Tools
eLearning

Access & Use Products

Discovery Services
Gale Support
Gale Support

Get Support

Find Your Local Cengage Site

Select country
🇦🇫
Afghanistan
🇦🇱
Albania
🇩🇿
Algeria
🇦🇩
Andorra
🇦🇴
Angola
🇦🇮
Anguilla
🇦🇬
Antigua and Barbuda
🇦🇷
Argentina
🇦🇲
Armenia
🇦🇼
Aruba
🇦🇺
Australia
🇦🇹
Austria
🇦🇿
Azerbaijan
🇧🇸
Bahamas
🇧🇭
Bahrain
🇧🇩
Bangladesh
🇧🇧
Barbados
🇧🇾
Belarus
🇧🇪
Belgium
🇧🇿
Belize
🇧🇯
Benin
🇧🇲
Bermuda
🇧🇹
Bhutan
🇧🇴
Bolivia
🇧🇦
Bosnia and Herzegovina
🇧🇼
Botswana
🇧🇷
Brazil
🇻🇬
British Virgin Islands
🇧🇳
Brunei
🇧🇬
Bulgaria
🇧🇫
Burkina Faso
🇧🇮
Burundi
🇰🇭
Cambodia
🇨🇲
Cameroon
🇨🇦
Canada
🇨🇻
Cape Verde
🇰🇾
Cayman Islands
🇨🇫
Central African Republic
🇹🇩
Chad
🇨🇱
Chile
🇨🇳
China
🇨🇴
Colombia
🇰🇲
Comoros
🇨🇰
Cook Islands
🇨🇷
Costa Rica
🇨🇮
Côte d'Ivoire
🇭🇷
Croatia
🇨🇺
Cuba
🇨🇾
Cyprus
🇨🇿
Czech Republic
🇨🇩
Democratic Republic of the Congo
🇩🇰
Denmark
🇩🇯
Djibouti
🇩🇲
Dominica
🇩🇴
Dominican Republic
🇪🇨
Ecuador
🇪🇬
Egypt
🇸🇻
El Salvador
🇬🇶
Equatorial Guinea
🇪🇷
Eritrea
🇪🇪
Estonia
🇸🇿
Eswatini
🇪🇹
Ethiopia
🇫🇰
Falkland Islands (Malvinas)
🇫🇴
Faroe Islands
🇫🇯
Fiji
🇫🇮
Finland
🇫🇷
France
🇬🇫
French Guiana
🇬🇪
Georgia
🇩🇪
Germany
🇬🇭
Ghana
🇬🇮
Gibraltar
🇬🇷
Greece
🇬🇱
Greenland
🇬🇩
Grenada
🇬🇵
Guadeloupe
🇬🇺
Guam
🇬🇹
Guatemala
🇬🇳
Guinea
🇬🇼
Guinea-Bissau
🇬🇾
Guyana
🇭🇹
Haiti
🇭🇳
Honduras
🇭🇰
Hong Kong
🇭🇺
Hungary
🇮🇸
Iceland
🇮🇳
India
🇮🇩
Indonesia
🇮🇷
Iran
🇮🇶
Iraq
🇮🇪
Ireland
🇮🇱
Israel
🇮🇹
Italy
🇯🇲
Jamaica
🇯🇵
Japan
🇯🇴
Jordan
🇰🇿
Kazakhstan
🇰🇪
Kenya
🇰🇮
Kiribati
🇰🇼
Kuwait
🇰🇬
Kyrgyzstan
🇱🇦
Laos
🇱🇻
Latvia
🇱🇧
Lebanon
🇱🇸
Lesotho
🇱🇷
Liberia
🇱🇮
Liechtenstein
🇱🇹
Lithuania
🇱🇺
Luxembourg
🇲🇴
Macau
🇲🇬
Madagascar
🇲🇼
Malawi
🇲🇾
Malaysia
🇲🇻
Maldives
🇲🇱
Mali
🇲🇹
Malta
🇲🇭
Marshall Islands
🇲🇶
Martinique
🇲🇷
Mauritania
🇲🇺
Mauritius
🇲🇽
Mexico
🇲🇩
Moldova
🇲🇨
Monaco
🇲🇳
Mongolia
🇲🇪
Montenegro
🇲🇸
Montserrat
🇲🇦
Morocco
🇲🇿
Mozambique
🇲🇲
Myanmar
🇳🇦
Namibia
🇳🇷
Nauru
🇳🇵
Nepal
🇳🇱
Netherlands
🇳🇿
New Zealand
🇳🇮
Nicaragua
🇳🇪
Niger
🇳🇬
Nigeria
🇳🇺
Niue
🇰🇵
North Korea
🇲🇰
North Macedonia
🇳🇴
Norway
🇴🇲
Oman
🇵🇰
Pakistan
🇵🇼
Palau
🇵🇸
Palestine
🇵🇦
Panama
🇵🇬
Papua New Guinea
🇵🇾
Paraguay
🇨🇬
People's Republic of Congo
🇵🇪
Peru
🇵🇭
Philippines
🇵🇱
Poland
🇵🇹
Portugal
🇵🇷
Puerto Rico
🇶🇦
Qatar
🇷🇴
Romania
🇷🇺
Russia
🇷🇼
Rwanda
🇼🇸
Samoa
🇸🇲
San Marino
🇸🇹
Sao Tome and Principe
🇸🇦
Saudi Arabia
🇸🇳
Senegal
🇷🇸
Serbia
🇸🇨
Seychelles
🇸🇱
Sierra Leone
🇸🇬
Singapore
🇸🇰
Slovakia
🇸🇮
Slovenia
🇸🇧
Solomon Islands
🇸🇴
Somalia
🇿🇦
South Africa
🇰🇷
South Korea
🇪🇸
Spain
🇱🇰
Sri Lanka
🇰🇳
St. Kitts and Nevis
🇱🇨
St. Lucia
🇵🇲
St. Pierre and Miquelon
🇻🇨
St. Vincent & The Grenadines
🇸🇩
Sudan
🇸🇷
Suriname
🇸🇯
Svalbard and Jan Mayen Islands
🇸🇪
Sweden
🇨🇭
Switzerland
🇸🇾
Syria
🇹🇼
Taiwan
🇹🇯
Tajikistan
🇹🇿
Tanzania
🇹🇭
Thailand
🇹🇱
Timor-Leste
🇹🇬
Togo
🇹🇰
Tokelau
🇹🇴
Tonga
🇹🇹
Trinidad and Tobago
🇹🇳
Tunisia
🇹🇷
Turkey
🇹🇲
Turkmenistan
🇹🇨
Turks and Caicos Islands
🇹🇻
Tuvalu
🇺🇬
Uganda
🇺🇦
Ukraine
🇦🇪
United Arab Emirates
🇬🇧
United Kingdom
🇺🇸
United States
🇺🇾
Uruguay
🇺🇿
Uzbekistan
🇻🇺
Vanuatu
🇻🇦
Vatican
🇻🇪
Venezuela
🇻🇳
Vietnam
🇪🇭
Western Sahara
🇾🇪
Yemen
🇿🇲
Zambia
🇿🇼
Zimbabwe
Cengage

Welcome to Cengage

It looks like you’re visiting from another country. Would you like to visit your local Cengage site instead?

Cengage logo

Support

(800) 354-9706

support.cengage.com

K–12

Higher Education

Career and Workforce

Students

Instructors

Leaders & Admin

Librarians

Company

About

News

Research & Outcomes

Investors

Careers

Content Development Philosophy

Authors/Royalties

Cengage AI

Contact

Contact Us

Support

ServicePlus Ordering

© 2020 Cengage Learning, Inc. and its affiliates

Copyright

Privacy

Piracy

Terms of Use

Accessibility

Compliance & Ethics

Do Not Sell