---

Bewährt, anwendungsbezogen, aktuell
Mit einem Geleitwort von Prof. Dr. Rüdiger Robert

---

Diese Theorie-Einführung hat konsequent aktuelle Anwendungen im Blick. Seien es Suchmaschinen, Workflow-Managementsysteme, Web Services, Verschlüsselung von Informationen, Authentifizierungsprotokolle - all diese Technologien beruhen auf theoretischen Grundlagen der Informatik. So trägt das Buch dazu bei, dass Studierende die Grundlagen der Theoretischen Informatik nicht nur kennen lernen, sondern auch anwenden können, um effektiv und produktiv an informationstechnischen Problemlösungen mitwirken zu können. Wegen seiner speziellen inhaltlichen und didaktischen Qualität ist das Buch neben dem Einsatz in der Lehre auch für das Selbststudium geeignet.

---

Endliche Automaten und reguläre Sprachen - Kontextfreie Sprachen und Kellerautomaten - Turingmaschinen und Berechenbarkeit - Grenzen von Algorithmen - Komplexität, Effizienz und Effektivität - Vielfältige Anwendungen theoretischer Konzepte in der Praxis

---

Prof. Dr. Gottfried Vossen lehrt und forscht am Institut für Wirtschaftsinformatik bzw. dem European Research Center for Information Systems (ERCIS) der Universität Münster.
Prof. Dr. Kurt-Ulrich Witt lehrt und forscht im Bereich Grundlagen der Informatik am Fachbereich Informatik der Hochschule Bonn-Rhein-Sieg in Sankt Augustin. Er ist Direktor des Bonn-Aachen International Center for Information Technology (b-it).

---