Formale Methoden 2

VO 2 + UE 1   SS 2007   LVA 703019 + 703020

Beschreibung

Gegenstand der Vorlesung sind Automaten und formale Sprachen. Diese sind ein wichtiger Bestandteil der theoretischen Grundlagen der Informatik, sind aber auch fundamental für viele Anwendungen, z. B. im Compilerbau. Darüber hinaus berühren wir die Komplexitäts- und Berechenbarkeitstheorie.

Inhaltsübersicht

In Stichworten: Endliche Automaten, reguläre Ausdrücke, Grammatiken, kontextfreie Sprachen, Syntaxbäume, Turingmaschinen, Komplexitätsklassen.

Literatur

Grundlage der Vorlesung ist das Lehrbuch

Hopcroft et al.: Introduction to Automata Theory, Languages, and Computation. Second Edition, Addison-Wesley, 2001.

für welches auch eine deutsche Ausgabe verfügbar ist. Es gibt auch ein Skriptum zur Vorlesung, dass stark an dieses Buch angelehnt ist.