ATFS: Skripte

Startseite
Software-Praktikum
Inhalt

ATFS 1:

Skript zu der Vorlesung "Automatentheorie und formale Sprachen" von Professor Wätjen vom Institut für theoretische Informatik der TU Braunschweig zu den Themen

• endliche erkennende Automaten
• Sprachen und Grammatiken
• Automaten und Sprachen
• Charakterisierung regulärer Sprachen
• Eigenschaften kontextfreier Sprachen
• Charakterisierung von Typ-2- und Typ-0-Sprachen
• weitere Sprachfamilien und die Chomsky-Hierarchie
• Entscheidbarkeitsfragen
• Charakterisierung Typ-1-Sprachen
• Abstrakte Familien von Sprachen

Download:  

• Postscript Dokument  (ca. 1,3 MB).
• PDF Dokument (ca. 990 kB)

ATFS 2:

Skript zu der Vorlesung "Automatentheorie und formale Sprachen" von Professor Wätjen vom Institut für theoretische Informatik der TU Braunschweig zu den Themen

• Gesteuerte Ersetzung
• Mehrdeutigkeit von kontextfreien Sprachen
• Limitierte Lindenmayersysteme

Download:  

• Postscript Dokument  (ca. 6,1 MB).
• PDF Dokument (ca. 890 kB)