題組內容

7. [20%] The following is a recursive definition of trees:

Def 1.
A tree consists of a root, and zero or more subtrees T1, T2, ..., Tk. Also, there is an edge from the root to the rootof each subtree.