Grundlagen der theoretischen Informatik mit Anwendungen

Dieses Buch gibt eine anwendungsorientierte Einführung in Grundlagen der Theoretischen Informatik, und es vermittelt Kompetenzen zur Lösung von Problemen mit Hilfe formaler Konzepte. Es stellt grundlegende Konzepte, Methoden und Techniken der Informatik dar, mit denen praktische Problemstellungen beschrieben und gelöst werden können und auf deren Basis kommerziell verfügbare Informations- und Kommunikationssyteme entwickelt worden sind. So wird z. B. das Konzept des ''endlichen Automaten'' bei der Realisierung von Workflowmanagementsystemen, der Gestaltung von Mensch-Maschine-Schnittstellen, der Implementierung von Netzwerkprotokollen, der Datenkompression, beim Schaltkreisentwurf, bei der Realisierung von Funktionen in Textverarbeitungssystemen und zur Internetsuche verwendet. Der Einsatz formaler Konzepte wird anhand von vielen Beispielen motiviert und ausprobiert.