\BOOKMARK [1][-]{section*.1}{Einleitung}{} \BOOKMARK [2][-]{section*.2}{}{section*.1} <<<<<<< main.out \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 [2][-]{section*.3}{Beispiel}{section*.1} \BOOKMARK [2][-]{section*.4}{Inhalt}{section*.1} \BOOKMARK [2][-]{section*.5}{Sprachverarbeitung}{section*.1} \BOOKMARK [2][-]{section*.6}{Compiler und andere Werkzeuge}{section*.1} \BOOKMARK [2][-]{section*.7}{Phasen eines Compilers}{section*.1} \BOOKMARK [2][-]{section*.8}{Methoden und Modelle}{section*.1} \BOOKMARK [2][-]{section*.9}{Anwendungen von Techniken des Compilerbaus}{section*.1} \BOOKMARK [2][-]{section*.10}{Literatur}{section*.1} \BOOKMARK [2][-]{section*.11}{Organisation}{section*.1} \BOOKMARK [2][-]{section*.12}{Beispiel: Interpreter \(I\)}{section*.1} \BOOKMARK [2][-]{section*.13}{Beispiel: Interpreter \(II\)}{section*.1} \BOOKMARK [2][-]{section*.14}{\334bung \(Haskell\)}{section*.1} \BOOKMARK [2][-]{section*.15}{\334bung \(Interpreter\)}{section*.1} \BOOKMARK [2][-]{section*.16}{Umgebungen}{section*.1} \BOOKMARK [1][-]{section*.16}{Inferenz-Systeme}{} \BOOKMARK [2][-]{section*.17}{Motivation}{section*.16} \BOOKMARK [2][-]{section*.18}{Definition}{section*.16} \BOOKMARK [2][-]{section*.19}{Inferenz-Systeme \(Beispiel 1\)}{section*.16} \BOOKMARK [2][-]{section*.20}{Inferenz-Systeme \(Beispiel 2\)}{section*.16} \BOOKMARK [2][-]{section*.21}{Inferenz-Systeme \(Beispiel 3\)}{section*.16} \BOOKMARK [2][-]{section*.22}{Inferenz von Werten}{section*.16} \BOOKMARK [2][-]{section*.23}{Umgebungen}{section*.16} \BOOKMARK [2][-]{section*.24}{Aussagenlogische Resolution}{section*.16} \BOOKMARK [2][-]{section*.25}{Resolution \(Eigenschaften\)}{section*.16} \BOOKMARK [2][-]{section*.26}{Semantische Bereiche}{section*.16} \BOOKMARK [2][-]{section*.27}{Continuations}{section*.16} \BOOKMARK [1][-]{section*.27}{Unterprogramme}{} \BOOKMARK [2][-]{section*.28}{Beispiele}{section*.27} \BOOKMARK [2][-]{section*.29}{Interpreter mit Funktionen}{section*.27} \BOOKMARK [2][-]{section*.30}{Semantik}{section*.27} \BOOKMARK [2][-]{section*.31}{Testfall \(1\)}{section*.27} \BOOKMARK [2][-]{section*.32}{Closures}{section*.27} \BOOKMARK [2][-]{section*.33}{Der Lambda-Kalk\374l}{section*.27} \BOOKMARK [2][-]{section*.34}{Small-Step-Semantik des Lambda-Kalk\374ls}{section*.27} \BOOKMARK [2][-]{section*.35}{Mehrstellige Funktionen}{section*.27} \BOOKMARK [2][-]{section*.36}{Let und Lambda}{section*.27} \BOOKMARK [2][-]{section*.37}{Rekursion?}{section*.27} \BOOKMARK [2][-]{section*.38}{Testfall \(2\)}{section*.27} \BOOKMARK [1][-]{section*.38}{Fixpunkte}{} \BOOKMARK [2][-]{section*.39}{Motivation}{section*.38} \BOOKMARK [2][-]{section*.40}{Rekursion}{section*.38} \BOOKMARK [2][-]{section*.41}{Existenz von Fixpunkten}{section*.38} \BOOKMARK [2][-]{section*.42}{Funktionen als CPO}{section*.38} \BOOKMARK [2][-]{section*.43}{Funktionen als CPO, Beispiel}{section*.38} \BOOKMARK [1][-]{section*.43}{Rechnen im Lambda-Kalk\374l}{} \BOOKMARK [2][-]{section*.44}{Daten als Funktionen}{section*.43} \BOOKMARK [2][-]{section*.45}{Lambda-Kalk\374l als universelles Modell}{section*.43} \BOOKMARK [2][-]{section*.46}{Fixpunkt-Kombinatoren}{section*.43} \BOOKMARK [2][-]{section*.47}{Lambda-Berechenbarkeit}{section*.43} \BOOKMARK [2][-]{section*.48}{\334bung Fixpunkte}{section*.43} \BOOKMARK [2][-]{section*.49}{letrec}{section*.43} \BOOKMARK [2][-]{section*.50}{letrec nach rec}{section*.43} \BOOKMARK [1][-]{section*.50}{Zustand/Speicher}{} \BOOKMARK [2][-]{section*.51}{Motivation}{section*.50} \BOOKMARK [2][-]{section*.52}{Speicher}{section*.50} \BOOKMARK [2][-]{section*.53}{Speicher-Aktionen als Monade}{section*.50} \BOOKMARK [2][-]{section*.54}{Auswertung von Ausdr\374cken}{section*.50} \BOOKMARK [2][-]{section*.55}{\304nderung der Hilfsfunktionen}{section*.50} \BOOKMARK [2][-]{section*.56}{Rekursion}{section*.50} \BOOKMARK [2][-]{section*.57}{Rekursion \(semantisch\)}{section*.50} \BOOKMARK [2][-]{section*.58}{Rekursion \(operational\)}{section*.50} \BOOKMARK [2][-]{section*.59}{Speicher\204\334bung}{section*.50} >>>>>>> 1.9