Aufgabe: Rekonstruktion

Schreiben Sie Funktionen

preorder :: Tree a -> [a]
inorder  :: Tree a -> [a]

die die Schlüssel eines Baumes in der entsprechenden Folge ausgeben sowie eine Funktion

recon_pre_in :: [a] -> [a] -> Tree a

mit der Eigenschaft:

forall t :
    t == recon_pre_in ( preorder t ) ( inorder t )

Beispiel:

recon_pre_in 
    [ 8, 9, 3, 5, 10, 4, 2, 1, 6, 12, 7, 13, 11 ]
    [ 5, 3, 4, 10, 2, 9, 6, 1, 12, 8, 13, 7, 11 ]

Vergleiche autotool-Aufgabe