This edition has been revised to make it more accessible to today’s students, including the addition of more material on writing proofs, more figures and pictures to convey ideas, sidebars to highlight related material, and a less formal writing style. It includes many new exercises in each chapter to help readers confirm and enhance their understanding of the material.
Features
• Completely rewritten to be less formal,
providing more accessibility to undergraduate students
• Emphasizes modern applications of the theory
• Uses numerous figures to help convey ideas
• Provides more detail and intuition for definitions and proofs
• Includes special sidebars to present supplemental material
that may be of interest to readers
• Challenges readers with extensive exercises of wide-ranging difficulty levels
• Presents a graphical notation for PDA’s and Turing machines.