Description 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. Please note, Gradiance is no longer available with this book, as we no longer support this product. Features Presents theoretical concepts in a concise and¿accessible¿style. Emphasizes modern applications of the theory Uses numerous figures to help convey ideas Provides more detail and intuition for definitions and proofs Challenges readers with extensive exercises at various levels of difficulty at the end of each chapter Includes additional practice and tests comprehension of important concepts with Gradiance, an online homework and tutorial system. Please note, Gradiance is no longer available with this book. New to this Edition Provides more detail and intuition for definitions and proofs Challenges readers with extensive exercises at various levels of difficulty at the end of each chapter Includes additional practice and tests comprehension of important concepts with Gradiance an online homework and tutorial system. Please note, Gradiance is no longer available with this book.