Einführung in die Theoretische Informatik

Die vorliegende Einfuhrung in die Theoretische Informatik folgt einem Konzept, das sich mit den neun von mir zu diesem Gegenstand an den Uni versitiiten Jena, Augsburg und Wiirzburg gehaltenen Vorlesungen entwickelt hat. Der Stoff dieses Buches ist so ausgewiihlt, daB er die innerhalb eines Grundstudiums der Informatik notwendigen theoretischen Grundlagen um faBt. Bei etwa 20%iger Kurzung entspricht er dem Umfang einer einsemestri gen vierstundigen Vorlesung. Durch die vielen Beispiele und Ubungsaufgaben eignet sich das Buch auch zum Selbststudium. Dieses Lehrbuch hatte nicht ohne die vielfiiltige Hilfe von Kollegen, Mit arbeitern und Studenten entstehen k6nnen. Zu besonderem Dank bin ich Dr. Ulrich Hertrampf und Dr. Heribert Vollmer verpfiichtet, die mehrere Imple mentierungen dieses Konzeptes kritisch begleitet, verschiedene Versionen des Manuskripts kommentiert, mich bei der Definition von PASCALLI wesentlich unterstutzt und mich uberhaupt erst ermuntert haben, mein Vorlesungsma nuskript zu einem Lehrbuch umzuarbeiten. Frau Dipl.-Inf. Diana RooB ver danke ich viele interessante Diskussionen zu diesem Buch und die sch6nen Abbildungen. Frau Dipl.-Inf. Gundula Niemann hat mit einer sehr sorgfiilti gen Durchsicht der letzten Version noch eine ganze Reihe von Verbesserungen erm6glicht. Frau cando info Katja Jucht und Herr Dipl.-Inf. Herbert Baier Saip haben wertvolle technische Hilfe geleistet. SchlieBlich m6chte ich Herrn Dr. Hans W6ssner vom Springer-Verlag fur die sehr konstruktive Zusammen arbeit danken.