Beschreibung
· Grammatiken der Chomsky Hierarchie (Typ3-Typ 0)
· Reguäre Ausdrücke, Satz von Kleene,
· Endliche Automaten (indet.), epsilon Kanten, Pumping Lemma,
· Kellerautomaten, Turingmaschinen
· Busy Beaver, Halteproblem, Reduktionen, aufzaehlbar/entscheidbar
· Random access machines, P/NP
10.2010
Vorlesungsaufzeichnungen
