5.4 广义表的定义

• 定义
  一般记作 LS = （ a₁ , a₂ , … , a_n ）
  n 是广义表 LS 的长度。
  a_i 可以是单个元素，也可以是广义表。分别称为 LS 的原子和子表。（支持递归定义）通常小写表示原子，大写表示子表。
  当广义表 LS 非空，则称第一个元素 a₁ 为 LS 的表头，剩下的所有元素组成 LS 的表尾。表头可能是原子或者列表，表尾一定是列表

• 举例

1、A = ( )		
	空表，表长为0
	
2、B = (e )		
	只有1个原子元素，表长为1
	
3、C = (a, (b, c, d))
	有2个元素，分别为原子a 和 子表 (b, c, d)。表长为2

4、D = (A, B, C)
	有3个元素都是列表，等价于( (), (e), (a, (b, c, d)) )。表长为3

5、E = (a, E)
	递归的表，表长为2。列表可以是本身的一个子表。

`

• 列表 ( ) 和 列表 ( ( ) )：
  前者是空表，表长为0。
  后者表长为1，表头表尾均为空表。