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.