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.

Lehrbuch Theoretische Informatik: modern und anwendungsbezogen

Autorentext

Prof. Dr. Kurt-Ulrich Witt ist Gründungsdekan der neuen Fachhochschule Rhein-Sieg und lehrt dort am Fachbereich Angewandte Informatik.
Prof. Dr. Gottfried Vossen lehrt am Institut für Wirtschaftsinformatik und forscht am European Research Center for Information Systems (ERCIS) der Universität Münster. Er ist Vizepräsident der Gesellschaft für Informatik e.V., Bonn.

Klappentext

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.

Inhalt
1 Einführung und Übersicht.- 1.1 Ausgangspunkte für das Themengebiet.- 1.2 Anwendungen theoretischer Erkenntnisse.- 1.3 Stoffübersicht und -abgrenzung.- 1.4 Externe Lernhilfen und Web-Seiten.- 1.5 Allgemeine Bibliographische Hinweise.- I Endliche Automaten und reguläre Sprachen.- 2 Endliche Automaten.- 3 Reguläre Sprachen.- 4 Endliche Maschinen und Automatennetze.- II Kontextfreie Sprachen und Kellerautomaten.- 5 Kontextfreie Sprachen.- 6 Kellerautomaten.- 7 Anwendungen kontextfreier Sprachen.- III Berechenbarkeit und Komplexität.- 8 Typ-1- und Typ-O-Sprachen.- 9 Berechenbarkeit.- 10 Entscheidbarkeit.- 11 Komplexität.