Gottfried Vossen, Kurt-Ulrich Witt Grundlagen der Theoretischen Informatik mit Anwendungen

Annotation

Endliche Automaten und regulare Sprachen - Kontextfreie Sprachen und Kellerautomaten - Berechenbarkeit und Komplexitat Dieses Buch gibt eine anwendungsorientierte Einfhrung in Grundlagen derTheoretischen Informatik und vermittelt Kompetenzen zur Lsung von Problemen mit Hilfe formaler Konzepte. Es betrachtet theoretische Konzepte nicht ''um der Theorie willen'', sondern es stellt grundlegende Konzepte, Methoden und Techniken der Informatik dar, mit denen praktische Problemstellungen beschrieben und gelst werden knnen und auf deren Basis kommerziell verfgbare Informations- undKommunikationssyteme entwickelt worden sind.So ist z. B. das Konzept des ''endlichen Automaten'' nicht nur Bestandteil vonfast allen Software-Engineering-Werkzeugen, sondern es wird unter anderem auchverwendet bei der Realisierung von Workflowmanagementsystemen, bei derGestaltung von Mensch-Maschine-Schnittstellen, bei der Implementierung vonNetzwerkprotokollen, bei der Datenkompression, beim Schaltkreisentwurf, beider Realisierung von Funktionen in Textverarbeitungssystemen und zur Internetsuche. Das Studium des Buches trgt dazu bei, dass Informatiker/innen die Grundlagen der Theoretischen Informatik kennenlernen und anwenden knnen, um effektiv und produktiv an Problemlsungen mit Hilfe von Informations- und Kommunikationstechnologien mitarbeiten zu knnen.