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.