\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} \BOOKMARK [1][-]{section*.4}{Fixpunkte}{} \BOOKMARK [2][-]{section*.5}{Motivation}{section*.4} \BOOKMARK [2][-]{section*.5}{Rekursion}{section*.4} \BOOKMARK [2][-]{section*.5}{Existenz von Fixpunkten}{section*.4} \BOOKMARK [2][-]{section*.5}{Funktionen als CPO}{section*.4} \BOOKMARK [2][-]{section*.5}{Funktionen als CPO, Beispiel}{section*.4} \BOOKMARK [1][-]{section*.5}{Rechnen im Lambda-Kalk\374l}{} \BOOKMARK [2][-]{section*.6}{Daten als Funktionen}{section*.5} \BOOKMARK [2][-]{section*.6}{Lambda-Kalk\374l als universelles Modell}{section*.5} \BOOKMARK [2][-]{section*.6}{Fixpunkt-Kombinatoren}{section*.5} \BOOKMARK [2][-]{section*.6}{Lambda-Berechenbarkeit}{section*.5} \BOOKMARK [2][-]{section*.6}{\334bung Fixpunkte}{section*.5} \BOOKMARK [2][-]{section*.6}{letrec}{section*.5} \BOOKMARK [2][-]{section*.6}{letrec nach rec}{section*.5} \BOOKMARK [1][-]{section*.6}{Zustand/Speicher}{} \BOOKMARK [2][-]{section*.7}{Motivation}{section*.6} \BOOKMARK [2][-]{section*.7}{Speicher}{section*.6} \BOOKMARK [2][-]{section*.7}{Auswertung von Ausdr\374cken}{section*.6} \BOOKMARK [2][-]{section*.7}{\304nderung der Hilfsfunktionen}{section*.6} \BOOKMARK [2][-]{section*.7}{Speicher-Aktionen als Monade}{section*.6} \BOOKMARK [2][-]{section*.7}{Rekursion}{section*.6} \BOOKMARK [2][-]{section*.7}{Rekursion \(operational\)}{section*.6} \BOOKMARK [2][-]{section*.7}{Rekursion \(semantisch\)}{section*.6} \BOOKMARK [2][-]{section*.7}{Speicher---\334bung}{section*.6}