Übungsblätter, Vorlesungsübersicht und Skript
"Automatentheorie und formale Sprachen 1+2"
von Jürgen Koslowski


Klausur für Teil 2: 2010-02-22 (Montag) um 10:00 Uhr im IZ 305

Sie dürfen das Skript bzw. Ihre Mitschrift benutzen, aber nicht die Musterlösungen der Hausaufgaben.
Das vorhandene Skript (in Englisch) wird parallel zur Vorlesung überarbeitet und kapitelweise im Netz bereitgestellt. Sie sollten aber nicht auf eine Vorlesungsmitschrift verzichten!

Entgegen anderslautenden Gerüchten wird in der Vorlesung sowie auf den Aufgabenblättern Deutsch verwendet. Ich will mir aber die Möglichkeit offenhalten, auch Feedback von englischsprachigen Kollegen zu bekommen. (Darüberhinaus halte ich wenig von der deformierten "Rechtschreibung".) Dieses Bash Shellscript ermöglicht das Drucken des Skripts in Heftform. Dazu werden die pstools benötigt. Achten Sie beim Drucken auf die Orientierung der Rückseiten! Das Datum bezieht sich auf die letzte Modifikation des jeweiligen Abschnitts bzw. Kapitels.

Teil 1, WS 2008/2009

  •    Title and table of contents (2009-02-16)

    0. Overview: the world of formal languages (2009-02-16)

  • 0.0 From letters to language families, an idealized view (2009-02-16)
  • 0.1 Language families and desirable closure properties (2009-02-16)

    1. Grammars and the basic Chomsky hierarchy (2009-01-25)

  • 1.0 Grammars and derivations (2009-01-25)
  • 1.1 The significance of the classical language families (2009-01-25)
  • 1.2 Fiddling with grammars and axioms: some technical results (2009-01-25)
  • 1.3 Normal forms for context-free grammars (2009-01-25)
  • 1.4 Other normal forms (2009-01-25)
  • 1.5 Closedness under substitution (2009-01-25)

    2. Basic automata theory (2009-02-16)

  • 2.0 Labled transition systems and automata (2009-02-16)
  • 2.1 Saturating LTSs (2009-10-27)
  • 2.2 Computation within LTSs (2009-10-27)
  • 2.3 Simulations and bisimulations (2009-02-16)
  • 2.4 Weak simulations and bisimulations (2009-02-16)

    Teil 2, WS 2009/2010

    3. Regular languages (2009-10-30)

  • 3.0 Finite automata and the Pumping Lemma (2009-10-30)
  • 3.1 Unital quantales (2009-10-27)
  • 3.2 Kleene algebras and least fixed points (2009-11-08)
  • 3.3 Regular expressions (2009-11-08)


    Das Skript zu Herrn Professor Wätjens Vorlesung von 1999 finden sie hier.

    back to my home page
    If you want to contact me by e-mail, click here: koslowj@iti.cs.tu-bs.de