In den Jahren 2002-2006 habe ich am Lehrstuhl für Computerlinguistik der Uni Heidelberg (zwischendurch auch mal Seminar, heute Institut) einige Male "Formale Grundlagen der Linguistik" gelesen, eine bunte Mischung aus Kram, der in "größeren" Vorlesungen zur theoretischen Informatik vorkommt, aber mit Leuten mit nicht ganz so umfangreichem mathematischen Werkzeugkasten im Auge. Vorbild war Ralf Klabundes gleichnamiges Werk, aus dem auch ein paar der Abbildungen kommen.
Auch wenn es sicher Besseres gibt dort draußen und die ganzen Hilfsseiten von damals in den digitalen Orkus gegangen sind: Das Skript
Ich mache längst andere Sachen. Richtige Fehler bringe ich noch in Ordnung, große Umarbeitungen werde ich wohl nicht mehr machen. Wer wirklich was an den Sachen machen will, kriegt gerne Zugang zum VCS, in dem die Quellen liegen.