\BOOKMARK [1][-]{section*.1}{Einleitung}{} \BOOKMARK [2][-]{section*.2}{}{section*.1} \BOOKMARK [2][-]{section*.2}{Beispiel}{section*.1} \BOOKMARK [2][-]{section*.2}{Inhalt}{section*.1} \BOOKMARK [2][-]{section*.2}{Sprachverarbeitung}{section*.1} \BOOKMARK [2][-]{section*.2}{Compiler und andere Werkzeuge}{section*.1} \BOOKMARK [2][-]{section*.2}{Phasen eines Compilers}{section*.1} \BOOKMARK [2][-]{section*.2}{Methoden und Modelle}{section*.1} \BOOKMARK [2][-]{section*.2}{Anwendungen von Techniken des Compilerbaus}{section*.1} \BOOKMARK [2][-]{section*.2}{Literatur}{section*.1} \BOOKMARK [2][-]{section*.2}{Organisation}{section*.1} \BOOKMARK [2][-]{section*.2}{Beispiel: Interpreter \(I\)}{section*.1} \BOOKMARK [2][-]{section*.2}{Beispiel: Interpreter \(II\)}{section*.1} \BOOKMARK [2][-]{section*.2}{\334bung \(Haskell\)}{section*.1} \BOOKMARK [2][-]{section*.2}{\334bung \(Interpreter\)}{section*.1} \BOOKMARK [2][-]{section*.2}{Umgebungen}{section*.1} \BOOKMARK [1][-]{section*.2}{Inferenz-Systeme}{} \BOOKMARK [2][-]{section*.3}{Motivation}{section*.2} \BOOKMARK [2][-]{section*.3}{Definition}{section*.2} \BOOKMARK [2][-]{section*.3}{Inferenz-Systeme \(Beispiel 1\)}{section*.2} \BOOKMARK [2][-]{section*.3}{Inferenz-Systeme \(Beispiel 2\)}{section*.2} \BOOKMARK [2][-]{section*.3}{Inferenz-Systeme \(Beispiel 3\)}{section*.2} \BOOKMARK [2][-]{section*.3}{Inferenz von Werten}{section*.2} \BOOKMARK [2][-]{section*.3}{Umgebungen}{section*.2} \BOOKMARK [2][-]{section*.3}{Aussagenlogische Resolution}{section*.2} \BOOKMARK [2][-]{section*.3}{Resolution \(Eigenschaften\)}{section*.2} \BOOKMARK [2][-]{section*.3}{Semantische Bereiche}{section*.2} \BOOKMARK [2][-]{section*.3}{Continuations}{section*.2} \BOOKMARK [1][-]{section*.3}{Unterprogramme}{} \BOOKMARK [2][-]{section*.4}{Beispiele}{section*.3} \BOOKMARK [2][-]{section*.4}{Interpreter mit Funktionen}{section*.3} \BOOKMARK [2][-]{section*.4}{Semantik}{section*.3} \BOOKMARK [2][-]{section*.4}{Testfall \(1\)}{section*.3} \BOOKMARK [2][-]{section*.4}{Closures}{section*.3} \BOOKMARK [2][-]{section*.4}{Der Lambda-Kalk\374l}{section*.3} \BOOKMARK [2][-]{section*.4}{Small-Step-Semantik des Lambda-Kalk\374ls}{section*.3} \BOOKMARK [2][-]{section*.4}{Mehrstellige Funktionen}{section*.3} \BOOKMARK [2][-]{section*.4}{Let und Lambda}{section*.3} \BOOKMARK [2][-]{section*.4}{Rekursion?}{section*.3} \BOOKMARK [2][-]{section*.4}{Testfall \(2\)}{section*.3}