roblem description |
The Bird tree1 is an infinite binary tree, whose first 5 levels look as follows: It can be defined as follows: This is a co-recursive definition in which both occurrences of bird refer to the full (infinite) tree. The expression bird + 1 means that 1 is added to every fraction in the tree, and 1/bird |