Übung 13. Woche

• Rekursionsschema für Listen
  • Funktion lfold aus Vorlesung kopieren, damit sum, product, append, reverse definieren

• Rekursionsschema für Bäume
  • Deklaration data Tree a = ..., tfold :: ... aus voriger Vorlesung/Übung kopieren.
  • Funktionen leaves, inorder, preorder durch tfold definieren und ausprobieren
  • definiere Funktionen nodes (Anzahl aller inneren Knoten) durch tfold
  • definiere Funktion contains, die Schlüssel in einem Suchbaum wiederfindet. Benutze tfold.

    contains :: Ord a => a -> Tree a -> Bool
    -- contains 2 $ suchbaum [ 5,2,6,4,7,4,9 ] ==> True
    
    contains x = tfold False ( \ cl k cr -> undefined )
    

• Rekonstruktion von Bäumen aus Pre- und In-Order