Sie sind hier: Automatentheorie

Automatentheorie und Formale Sprachen (Wintersemester 2008/09)

Nachdem ich heute bei Prof. Lippe war und er der Veröffentlichung meiner Vorlesungsmitschrift zugestimmt hat, werde ich in Zukunft hier stets die aktuelle Version online stellen.

Dieses Skript entstand in der als Mitschrift der Vorlesung „Automatentheorie und formale Sprachen“, gelesen im Wintersemester 2008/2009 von Prof. W. Lippe an der Universität Münster.

Es besteht keine Garantie auf Richtigkeit oder Vollständigkeit des Skriptes. Diese Version der Mitschrift ist zur Veröffentlichung bestimmt und darf unverändert im Original-pdf gerne weiterverbreitet werden.

Falls Fehler gefunden werden oder Fragen auftauchen, am Besten eine kurze Mail an skript@cszb.net schreiben.


Download (pdf): Automatentheorie und Formale Sprachen (Wintersemester 2008/09) (Stand: 08.03.2009, 22:22 Uhr)



Changelog:

08.03.2009: diverse Korrekturen, danke an Florian Bohlken aka Flibbo
03.02.2009: diverse Korrekturen
02.02.2009: diverse Korrekturen
31.01.2009: Mathematische Grundlagen vervollständigt
31.01.2009: Korrekturen und Ergänzungen
30.01.2009: einige Korrekturen, diverse Verschönerungen
30.01.2009: sämtliche Grafiken nun in TikZ gesetzt
29.01.2009: einige Automaten neu gemalt
28.01.2009: Vorlesung vom 27.01. dazu + diverse Korrekturen und Ergänzungen.
28.01.2009: diverse Korrekturen
26.01.2009: sämtliche Bäume vom qtree Package auf TikZ umgestellt
26.01.2009: diverse Erweiterungen und Verschönerungen
25.01.2009: noch mehr TikZ-Bilder
25.01.2009: Einige Fehler behoben, sowie erste TikZ-Bildchen
23.01.2009: Vorlesung vom 22.01. komplettiert
22.01.2009: Großteil der heutigen Vorlesung überarbeitet und sauber gesetzt
22.01.2009: Vorwort + Kleinigkeiten
21.01.2009: weiterer Feinschliff an Kapitel 10.2
21.01.2009: Überarbeitung der letzten Vorlesung, erste Bäume gemalt.
20.01.2009: erste Version online gestellt. Vorlesung vom 20.01.2009 bereits enthalten, jedoch noch nicht bearbeitet.
20.01.2009: vorläufige Version zur Veröffentlichung.

www.cszb.net - Design und Content by Christian Schulte zu Berge