Literaturhinweis 2 (John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman, Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie, Pearson Studium, 2002.) fand ich damals recht gut. Dort werden aber auch unter anderem die Sachen aus der Grundlagenvorlesung behandelt. Jedoch auch die gesamten Abschlusseigenschaften der Chomsky-Hierarchie-Sprachen, sowie der Part mit dem Post'schen Korrespondenzproblem für die Entscheidbarkeit später. In dem Buch sind viele gute Beispiele und zusätzliche Aufgaben enthalten, wo es teilweise Lösungen zu direkt im Buch (oder auch auf der Website zum Buch) gibt. Kannst ja mal im Institut vorbei schauen und ein wenig durchblättern. Die weiteren Literaturtipps sind soweit ich weiß auch hier vorhanden.