Martin, John C. Introduction to Languages and the Theory Ofcomputation

'Introduction to Languages and the Theory of Computation' von John C. Martin ist ein Lehrbuch, das sich mit den grundlegenden Konzepten der formalen Sprachen und der Berechenbarkeitstheorie befasst. Es bietet eine umfassende Einführung in die Theorie der Automaten, formale Grammatiken und Sprachen sowie die Grundlagen der Berechnungstheorie. Das Buch beginnt mit einer Einführung in die mathematischen Grundlagen und geht dann auf verschiedene Arten von Automaten ein, darunter endliche Automaten, Kellerautomaten und Turing-Maschinen. Es behandelt auch reguläre Sprachen, kontextfreie Sprachen und deren Eigenschaften sowie die Chomsky-Hierarchie. Ein weiterer Schwerpunkt liegt auf der Berechenbarkeitstheorie, einschließlich Entscheidungsproblemen und der Church-Turing-These. Das Buch diskutiert auch komplexitätstheoretische Konzepte wie NP-Vollständigkeit. Durch zahlreiche Beispiele und Übungsaufgaben unterstützt das Buch Studierende dabei, ein tiefes Verständnis für die theoretischen Aspekte der Informatik zu entwickeln. Es richtet sich vor allem an Studierende der Informatik oder Mathematik im fortgeschrittenen Grundstudium oder frühen Masterstudium.