木構造
木の定義
空は木である。
左に木を持ち右に木を持つものは木である。
以上によって得られるもののみが木である。
左の子を bii, 右の子を puu と呼ぶことがある。
へだるさんは nil, car, cdr を使っていたがその方がわかりやすいかも?
car, cdr はリストのイメージが強い?
高さの定義
空ならば高さは
$ 0
である。
空でなければ高さは
$ max(右の高さ, 左の高さ) + 1
である。