[General boards] [Winter 2019 courses] [Fall 2018 courses] [Summer 2018 courses] [Older or newer terms]

Q3 summer final


#1

for 3a, how would we draw it? t0 and t1 are infinite. should we just draw a circle labeled t0 and a circle with t1 for the left and right child of t0 respectively?

edit:
and for 3b i got this:
walk (L:R:[]) t1
walk (L:R:[]) (N t0 1 t1)
1: (walk (R:[]) t0)
1: (walk (R:[]) (N t0 0 t1))
1: (0 : walk [] t1)
1: (0 : [])
1: [0]
[1,0]


#2

I got / did the same thing.