Einfuhrung in Die Theoretische Informatik: Formale Sprachen Und Automatentheorie

Dieses Lehrbuch bietet eine pragnante und leicht verstandliche Einfuhrung in die Gebiete Formale Sprachen und Automatentheorie fur das Informatik-Grundstudium an Fachhochschulen und Universitaten. Die behandelten Themen Formale Sprachen, Grammatikformalismen, endliche Automaten, Kellerautomaten und Turingmaschinen bilden die zentralen Grundlagen fur das Verstandnis wichtiger Informatikkonzepte wie die Spezifikation von Programmiersprachen, das UEbersetzen von Programmen oder die Verarbeitung naturlicher Sprache, d.h. fur die Formalisierung und algorithmische Behandlung von Problemen, die durch den Computer geloest werden. Ein neuer Abschnitt ist der aktuellen Technologie XML gewidmet und gibt insbesondere einen ersten Einblick in XML-Schemata, dem neuen Spezifikationsstandard fur XML-Dokumente.