Einführung in die theoretische Informatik

Die vorliegende Einführung in die Theoretische Informatik basiert auf Vorlesungen, die an den Universitäten Jena, Augsburg und Würzburg gehalten wurden. Der Inhalt umfasst die theoretischen Grundlagen, die für ein Grundstudium der Informatik erforderlich sind, und wurde um etwa 20% gekürzt, um dem Umfang einer einsemestrigen vierstündigen Vorlesung zu entsprechen. Dank zahlreicher Beispiele und Übungsaufgaben eignet sich das Buch auch hervorragend für das Selbststudium. Dieses Lehrbuch wäre ohne die Unterstützung von Kollegen, Mitarbeitern und Studenten nicht möglich gewesen. Besonderer Dank gilt Dr. Ulrich Hertrampf und Dr. Heribert Vollmer, die das Konzept kritisch begleitet, Manuskriptversionen kommentiert und bei der Definition von PASCALLI geholfen haben. Auch Frau Dipl.-Inf. Diana Roos gebührt Dank für die interessanten Diskussionen und die ansprechenden Abbildungen. Frau Dipl.-Inf. Gundula Niemann hat durch eine sorgfältige Durchsicht der letzten Version zahlreiche Verbesserungen ermöglicht. Wertvolle technische Unterstützung kam von Frau cando info Katja Jucht und Herrn Dipl.-Inf. Herbert Baier Saip. Schließlich möchte ich Herrn Dr. Hans Wössner vom Springer-Verlag für die konstruktive Zusammenarbeit danken.