Grundlagen der Theoretischen Informatik mit Anwendungen

Dieses Buch gibt eine anwendungsorientierte Einführung in Grundlagen der
Theoretischen Informatik. 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 ist z. B. das Konzept des ''endlichen Automaten'' nicht nur Bestandteil von fast allen Software-Engineering-Werkzeugen, sondern es wird unter anderem auch verwendet 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. Der Einsatz formaler Konzepte wird anhand von vielen Beispielen motiviert und ausprobiert.