Grundkurs Theoretische Informatik

lungen das passende Werkzeug findet. Wir versuchen daher, die Ausführungen und Entwicklungen stets von den Anwendungen her zu motivieren, und wir bemühen uns, Fragestellungen, zu denen die Automatentheorie ein Werkzeug liefert, dann auch mit diesem anzugehen. Im Vergleich zu anderen Theorie-Lehrbüchern stehen somit also nicht nur die Präsentation der grundlegenden Begriffe der Theoretischen Informatik und deren Analyse im Mittelpunkt des Buches, sondern insbesondere auch die Kon­ struktion von Problemlösungen. Naturgemäß endet das nicht in Komplettlösungen, aber die Leserschaft wird nahe genug an solche herangeführt. Inhaltlich folgen wir einem klassischen Präsentationsschema des Stoffes, welches vielfach in Lehrbüchern und Kursen bewährt ist: vom einfachen Automaten zum kom­ plizierteren. Wir beginnen also mit endlichen Automaten und regulären Sprachen und arbeiten uns von dort die Chomsky-Hierarchie"hinauf" und schließen mit den Themen Berechenbarkeit und Komplexität. Dieser Strang wird laufend durch Anwendungen und Anwendungsbeispiele begleitet, denn diese sollen nicht erst dann behandelt wer­ den, wenn die Theorie eingigermaßen komplett vorgestellt und durchgearbeitet ist. Münster und St. Augustin, im März 2000 G.V. und K.U.W. Vorwort zur 2. Auflage In der zweiten Auflage wurde eine Reihe von kleineren Fehlern verbessert; für Hin­ weise auf solche danken wir insbesondere unserem aufmerksamen Leser Dirk Hofmann. Darüber hinaus haben wir an verschiedenen Stellen Überarbeitungen vorgenommen und das Literaturverzeichnis aktualisiert.