Dieses Arbeitsbuch führt in die Grundlagen der Informationsverarbeitung ein und orientiert sich dabei speziell an den Bedürfnissen der Studenten der allgemeinen Sprachwissenschaft und der Computerlinguistik. Anhand von Beispielen werden die zentralen Begriffe, Aussagen und Beweise der Automatentheorie und der Theorie formaler Sprachen und Grammatiken eingeführt und erläutert. Der Bezug dieser Aussage zur theoretischen Linguistik und zur maschinellen Sprachverarbeitung wird ebenfalls vorgestellt. Jedes Kapitel schließt mit Aufgaben zur Vertiefung des bisher Gelernten. Das Buch setzt keine spezifischen Kenntnisse voraus.