Einführung in die Theoretische Informatik: Formale Sprachen und Automatentheorie

Hedtstück, Ulrich

ISBN 10: 348671404X / ISBN 13: 9783486714043

Edité par Oldenbourg Wissensch.Vlg, 2012

A propos de cet article

5th edition. 191 pages. German language. 9.37x6.69x0.47 inches. In Stock.

N° de réf. du vendeur 348671404X

Détails bibliographiques

• Titre: Einführung in die Theoretische Informatik: Formale Sprachen und Automatentheorie
• Éditeur: Oldenbourg Wissensch.Vlg
• Date de parution: 2012
• Langue: allemand
• ISBN à 10 chiffres: 348671404X
• ISBN à 13 chiffres: 9783486714043
• Reliure: Paperback
• Édition: 5ème Édition
• État de l'article: Brand New

A propos de ce titre

Synopsis

Dieses Lehrbuch bietet eine prägnante und leicht verständliche Einführung in die Gebiete Formale Sprachen und Automatentheorie für das Informatik-Grundstudium an Fachhochschulen und Universitäten. Die behandelten Themen Formale Sprachen, Grammatikformalismen, endliche Automaten, Kellerautomaten und Turingmaschinen bilden die zentralen Grundlagen für das Verständnis wichtiger Informatikkonzepte wie die Spezifikation von Programmiersprachen, das Übersetzen von Programmen oder die Verarbeitung natürlicher Sprache, d.h. für die Formalisierung und algorithmische Behandlung von Problemen, die durch den Computer gelöst werden. Ein neuer Abschnitt ist der aktuellen Technologie XML gewidmet und gibt insbesondere einen ersten Einblick in XML-Schemata, dem neuen Spezifikationsstandard für XML-Dokumente.

Présentation de l'éditeur

Dieses Lehrbuch bietet eine prägnante und leicht verständliche Einführung in zwei grundlegende Gebiete der theoretischen Informatik: Formale Sprachen und Automatentheorie. Der Autor vermittelt einen fundierten Einblick in die Formalisierung und algorithmische Aufbereitung von Problemen, damit diese durch den Computer gelöst werden können. Anhand der vier Stufen der Chomsky-Hierarchie werden Kenntnisse zur Beurteilung des Schwierigkeitsgrads eines Problems vermittelt. Alle behandelten Themen sind unentbehrlich für das Verständnis wichtiger Konzepte der Informatik wie die Spezifikation von Programmiersprachen, das Übersetzen von Programmen oder die Verarbeitung natürlicher Sprache. Das Buch beinhaltet Abschnitte zu Formalen Sprachen, Grammatikformalismen, endlichen Automaten, Kellerautomaten und Turingmaschinen. Ein eigener Abschnitt ist der Internet-Technologie XML gewidmet mit einer Einordnung in die Theorie der formalen Sprachen. Insbesondere werden die Grundprinzipien von Document Type Definitions und XML-Schemata, den Spezifikationsstandards für XML-Dokumente, in Form von anschaulichen Beispielen dargelegt.