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.