Ich habe zusammen mit ein paar Freunden ein Skript zur Vorlesung Automatentheorie und formale Sprachen (ATFS) von Professor Baader im Sommersemester 2000 erstellt. Das Ganze war dazu gedacht uns LaTeX beizubringen und die Klausur zu bestehen. Alles in allem war es wohl ein Erfolg.
Das Skript entspricht dem Inhalt der Vorlesung. Es gibt einen Index, Referenzen auf wichtige Sätze sind verlinkt und ich habe das Ding im Verlauf der Klausurvorbereitung dreimal Korrektur gelesen. Es sollte wirklich ziemlich ordentlich sein. Wenn ihr noch Fehler oder Inkonsistenzen findet meldet euch doch einfach bei mir.
Genug der Worte holt es euch:
PDF
PDF (bzip2 komprimiert)
Quellcode