Skip to main content
  • Textbook
  • © 2002

Grundlagen der Theoretischen Informatik mit Anwendungen

Eine Einführung für Studierende der Informatik, Wirtschaftsinformatik und Technischen Informatik

  • Lehrbuch Theoretische Informatik:
  • modern und anwendungsbezogen
  • 2236 Accesses

Buy it now

Buying options

eBook USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (11 chapters)

  1. Front Matter

    Pages i-xii
  2. Einführung und Übersicht

    1. Einführung und Übersicht

      • Gottfried Vossen, Kurt-Ulrich Witt
      Pages 1-7
  3. Endliche Automaten und reguläre Sprachen

    1. Front Matter

      Pages 9-9
    2. Endliche Automaten

      • Gottfried Vossen, Kurt-Ulrich Witt
      Pages 11-63
    3. Reguläre Sprachen

      • Gottfried Vossen, Kurt-Ulrich Witt
      Pages 65-110
    4. Endliche Maschinen und Automatennetze

      • Gottfried Vossen, Kurt-Ulrich Witt
      Pages 111-167
  4. Kontextfreie Sprachen und Kellerautomaten

    1. Front Matter

      Pages 169-169
    2. Kontextfreie Sprachen

      • Gottfried Vossen, Kurt-Ulrich Witt
      Pages 171-189
    3. Kellerautomaten

      • Gottfried Vossen, Kurt-Ulrich Witt
      Pages 191-202
    4. Anwendungen kontextfreier Sprachen

      • Gottfried Vossen, Kurt-Ulrich Witt
      Pages 203-231
  5. Berechenbarkeit und Komplexität

    1. Front Matter

      Pages 233-233
    2. Typ-1- und Typ-0-Sprachen

      • Gottfried Vossen, Kurt-Ulrich Witt
      Pages 235-260
    3. Berechenbarkeit

      • Gottfried Vossen, Kurt-Ulrich Witt
      Pages 261-298
    4. Entscheidbarkeit

      • Gottfried Vossen, Kurt-Ulrich Witt
      Pages 299-315
    5. Komplexität

      • Gottfried Vossen, Kurt-Ulrich Witt
      Pages 317-342
  6. Back Matter

    Pages 343-356

About this book

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 richtet sich an Studierende der
Informatik aller Hochschularten, und es ist wegen seiner inhaltlichen und
didaktischen Gestaltung insbesondere geeignet für Studierende in
anwendungsorientierten Informatikstudiengängen.
Denn dieses Buch 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 gelöst
werden können und auf deren Basis kommerziell verfügbare Informations- und
Kommunikationssyteme entwickelt worden sind, auch wenn dies zumeist nicht
unmittelbar sichtbar wird.
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, bei der
Gestaltung von Mensch-Maschine-Schnittstellen, bei der Implementierung von
Netzwerkprotokollen, bei der Datenkompression, beim Schaltkreisentwurf, bei
der Realisierung von Funktionen in Textverarbeitungssystemen und zur Internetsuche.
Das Studium des Buches trägt dazu bei, dass Informatikerinnen und Informatiker
die Grundlagen der Theoretischen Informatik kennenlennern und anwenden können,
um effektiv und produktiv an Problemlösungen mit Hilfe von Informations- und
Kommunikationstechnologien mitarbeiten zu können.
Der Einsatz formaler Konzepte wird anhand von vielen Beispielen motiviert und
ausprobiert, die Konzepte werden systematisch und schrittweise vom Einfachen
zum Komplexen vorgestellt und ausführlich erläutert.
Der Text für die 2. Auflage wurde überarbeitet und aktualisiert.

Authors and Affiliations

  • Institut für Wirtschaftsinformatik, Westfälische Wilhelms-Universität Münster, Münster, Deutschland

    Gottfried Vossen

  • Fachbereich Angewandte Informatik, Fachhochschule Bonn-Rhein-Sieg, St. Augustin, Deutschland

    Kurt-Ulrich Witt

About the authors

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.

Bibliographic Information

  • Book Title: Grundlagen der Theoretischen Informatik mit Anwendungen

  • Book Subtitle: Eine Einführung für Studierende der Informatik, Wirtschaftsinformatik und Technischen Informatik

  • Authors: Gottfried Vossen, Kurt-Ulrich Witt

  • DOI: https://doi.org/10.1007/978-3-322-96901-9

  • Publisher: Vieweg+Teubner Verlag Wiesbaden

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer Fachmedien Wiesbaden 2002

  • eBook ISBN: 978-3-322-96901-9Published: 09 March 2013

  • Edition Number: 2

  • Number of Pages: XII, 353

  • Number of Illustrations: 112 b/w illustrations

  • Topics: Theory of Computation, Computer Science, general

Buy it now

Buying options

eBook USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access