cs61a课程总结--lecture7 递归（和一种数据结构）

数据结构

tuple 是一种至类型

value：包括integer，boolean,string,tuples

tuple:0或多个value序列

因此value和tuple的定义是互相递归的他们互相引用

递归的数据类型通常与递归的算法--->cons

Noetherian induction--well-founded relation-->不存在无穷下降链

如果从某个值开始逐步下降至更小的值那么总会在有限步骤里到达最小值

典型的如正整数和自然数基于<