-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathAufgabe01_Hilfe
83 lines (68 loc) · 2.75 KB
/
Aufgabe01_Hilfe
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
ghci> pretty (Var "A")
= pretty(Var "A")
= "A"
ghci> pretty (Comb "true" [])
= pretty (Comb "true" [])
= pretty("true")
= "true"
ghci> pretty (Comb "f" [Var "B", Var "_", Comb "true" []])
= pretty(Comb "f" [Var "B", Var "_", Comb "true" []])
= pretty(Comb "f" [Var "B", Var "_", "true"])
= pretty(Comb "f" ["B", "_", "true"])
= "f(B, _, true)"
ghci> pretty (Comb "." [Comb "true" [], Comb "[]" []])
= pretty(Comb "." [Comb "true" [], Comb "[]" []])
= pretty(Comb "." ["true", "[]"])
= pretty(["true"])
= "[true]"
ghci> pretty (Comb "." [Comb "true" [], Comb "." [Comb "g" [Var "C"], Comb "[]" []]])
= pretty (Comb "." [Comb "true" [], Comb "." [Comb "g" [Var "C"], Comb "[]" []]])
= pretty (Comb "." ["true", Comb "." [Comb "g" ["C"], "[]"]])
= pretty (Comb "." ["true", Comb "." ["g(C)"], "[]"]])
= pretty (Comb "." ["true", "g(C)"])
= pretty ["true", "g(C)"])
= "[true, g(C)]"
ghci> pretty (Comb "." [Comb "true" [], Var "D"])
= pretty (Comb "." [Comb "true" [], Var "D"])
= pretty (Comb "." ["true", "D"])
= pretty (["true"|"D"])
= "[true|D]"
ghci> pretty (Comb "." [Comb "true" [], Comb "h" [Var "E", Comb "i" [Var "F"]]])
= pretty (Comb "." [Comb "true" [], Comb "h" [Var "E", Comb "i" [Var "F"]]])
= pretty (Comb "." ["true", Comb "h" ["E", Comb "i" ["F"]]])
= pretty (Comb "." ["true", Comb "h" ["E", i(F)]])
= pretty (Comb "." ["true", "h(E,i(F))"])
= pretty (["true"|"h(E,i(F))"])
= "[true|h(E, i(F))]"
ghci> pretty (Comb "." [Comb "true" [], Comb "." [Comb "true" [], Comb "true" []]])
= pretty (Comb "." [Comb "true" [], Comb "." [Comb "true" [], Comb "true" []]])
= pretty (Comb "." ["true", Comb "." ["true", "true"]])
= pretty (Comb "." ["true", ["true"|"true"]])
= pretty (["true"|["true","true"]])
(E|L) = .(E,L)
[a,b,c]
[a|[b,c]]
[a,b|[c]]
= "[true, true|true]"
ghci> pretty (Comb "." [Comb "." [Comb "true" [], Comb "[]" []], Comb "[]" []])
= pretty (Comb "." [Comb "." [Comb "true" [], Comb "[]" []], Comb "[]" []])
= pretty (Comb "." [Comb "." ["true", "[]"], "[]"])
= pretty (Comb "." [["true"|[]], "[]"])
= pretty ([["true"|[]]|[]])
= pretty ([["true"|[]]])
= "[[true]]"
ghci> pretty (Comb "." [Var "G"])
= pretty(Comb "." [Var "G"])
= pretty(Comb "." ["G"])
= ".(G)"
ghci> pretty (Comb "." [Var "H", Comb "true" [], Comb "j" [Var "I"]])
= pretty (Comb "." [Var "H", Comb "true" [], Comb "j" [Var "I"]])
= pretty (Comb "." ["H", "true", Comb "j" ["I"]])
= pretty (Comb "." ["H", "true", j(I)])
= pretty (["H"|["true", j(I)]])
= pretty (.["H", "true", j(I)])
= ".(H, true, j(I))"
ghci> pretty (Comb "." [Var "J", Comb "." [Var "K", Var "L", Var "M", Var"N"]])
= pretty (Comb "." [Var "J", Comb "." [Var "K", Var "L", Var "M", Var"N"]])
= pretty (Comb "." ["J", Comb "." ["K", "L", "M", "N"]])
"[J|.(K, L, M, N)]"