Introduction to Automata Theory, Languages, and Computation

ISBN-10: 0321455363

ISBN-13: 9780321455369

Edition: 3rd 2007 (Revised)

List price: $189.00
30 day, 100% satisfaction guarantee

If an item you ordered from TextbookRush does not meet your expectations due to an error on our part, simply fill out a return request and then return it by mail within 30 days of ordering it for a full refund of item cost.

Learn more about our returns policy


This classic book on formal languages, automata theory, and computational complexity has been updated to present theoretical concepts in a concise and straightforward manner with the increase of hands-on, practical applications. This new edition comes with Gradiance, an online assessment tool developed for computer science. Gradiance is the most advanced online assessment tool developed for the computer science discipline. With its innovative underlying technology, Gradiance turns basic homework assignments and programming labs into an interactive learning experience for students. By using a series of root questions and hints, it not only tests a students capability, but actually simulates a one-on-one teacher-student tutorial that allows for the student to more easily learn the material. Through the programming labs, instructors are capable of testing, tracking, and honing their students skills, both in terms of syntax and semantics, with an unprecedented level of assessment never before offered. For more information about Gradiance, please visit .
what's this?
Rush Rewards U
Members Receive:
You have reached 400 XP and carrot coins. That is the daily max!
Study Briefs

Limited time offer: Get the first one free! (?)

All the information you need in one place! Each Study Brief is a summary of one specific subject; facts, figures, and explanations to help you learn faster.

Add to cart
Study Briefs
Periodic Table Online content $4.95 $1.99
Add to cart
Study Briefs
SQL Online content $4.95 $1.99
Add to cart
Study Briefs
MS Excel® 2010 Online content $4.95 $1.99
Add to cart
Study Briefs
MS Word® 2010 Online content $4.95 $1.99
Customers also bought

Book details

List price: $189.00
Edition: 3rd
Copyright year: 2007
Publisher: Addison Wesley
Publication date: 6/29/2006
Binding: Hardcover
Pages: 750
Size: 6.40" wide x 8.70" long x 1.30" tall
Weight: 2.266
Language: English

Automata: The Methods and the Madness
Why Study Automata Theory
Introduction to Formal Proof
Additional Forms of Proof
Inductive Proofs
The Central Concepts of Automata Theory
Summary of Chapter 1
Gradiance Problems for Chapter 1
References for Chapter 1
Finite Automata
An Informal Picture of Finite Automata
Deterministic Finite Automata
Nondeterministic Finite Automata
An Application_ Text Search
Finite Automata With EpsilonTransitions
Summary of Chapter 2
Gradiance Problems for Chapter 2
References for Chapter 2
Regular Expressions and Languages
Regular Expressions
Finite Automata and Regular Expressions
Applications of Regular Expressions
Algebraic Laws for Regular Expressions
Summary of Chapter 3
Gradiance Problems for Chapter 3
References for Chapter 3
Properties of Regular Languages
Proving Languages Not to Be Regular
Closure Properties of Regular Languages
Decision Properties of Regular Languages
Equivalence and Minimization of Automata
Summary of Chapter 4
Gradiance Problems for Chapter 4
References for Chapter 4
Context-Free Grammars and Languages
Context-Free Grammars
Parse Trees
Applications of Context-Free Grammars
Ambiguity in Grammars and Languages
Summary of Chapter 5
Gradiance Problems for Chapter 5
References for Chapter 5
Pushdown Automata
Definition of the Pushdown Automaton
The Languages of a PDA
Equivalence of PDA's and CFG's
Deterministic Pushdown Automata
Summary of Chapter 6
Gradiance Problems for Chapter 6
References for Chapter 6
Properties of Context-Free Languages
Normal Forms for Context-Free Grammars
The Pumping Lemma for Context-Free Languages
Closure Properties of Context-Free Languages
Decision Properties of CFL's
Summary of Chapter 7
Gradiance Problems for Chapter 7
References for Chapter 7
Introduction to Turing Machines
Problems That Computers Cannot Solve
The Turing Machine
Programming Techniques for Turing Machines
Extensions to the Basic Turing Machine
Restricted Turing Machines
Turing Machines and Computers
Summary of Chapter 8
Gradiance Problems for Chapter 8
References for Chapter 8
A Language That Is Not Recursively Enumerable
An Undecidable Problem That Is RE
Undecidable Problems About Turing Machines
Post's Correspondence Problem
Other Undecidable Problems
Summary of Chapter 9
Gradiance Problems for Chapter 9
References for Chapter 9
Intractable Problems
The Classes P and NP
An NP-Complete Problem
A Restricted Satisfiability Problem
Additional NP-Complete Problems
Summary of Chapter 10
Gradiance Problems for Chapter 10
References for Chapter 10
Additional Classes of Problems
Complements of Languages in NP
Problems Solvable in Polynomial Space
A Problem That Is Complete for PS
Language Classes Based on Randomization
The Complexity of Primality Testing
Summary of Chapter 11
Gradiance Problems for Chapter 11
References for Chapter 11
Free shipping on orders over $35*

*A minimum purchase of $35 is required. Shipping is provided via FedEx SmartPost® and FedEx Express Saver®. Average delivery time is 1 – 5 business days, but is not guaranteed in that timeframe. Also allow 1 - 2 days for processing. Free shipping is eligible only in the continental United States and excludes Hawaii, Alaska and Puerto Rico. FedEx service marks used by permission."Marketplace" orders are not eligible for free or discounted shipping.

Learn more about the TextbookRush Marketplace.