广义表

一. 简介

• 广义表是线性表的推广，是一种非线性的数据结构。
• 广义表中放松对表元素的原子限制，容许它们具有其自身结构。
• 广义表被广泛的应用于人工智能等领域的表处理语言LISP语言中。在LISP语言中，广义表是一种最基本的数据结构，就连LISP 语言的程序也表示为一系列的广义表。

 

• 广义表是n（n≥0）个数据元素a1，a2，…，ai，…，an 的有序序列，一般记作：
  ls＝（a1，a2，…，ai，…，an）
  其中：ls 是广义表的名称，n 是它的长度。每个ai（1≤i≤n）是ls 的成员，它可以是单个元素，也可以是一个广义表，分别称为广义表ls 的单元素和子表。
• 当广义表ls 非空时，称第一个元素a1 为ls 的表头（head），称其余元素组成的表（a2，…，ai，…，an）为ls 的表尾（tail）。显然，广义表的定义是递归的。
• 为书写清楚起见，通常用大写字母表示广义表，用小写字母表示单个数据元素，广义表用括号括起来，括号内的数据元素用逗号分隔开。下面是一些广义表的例子：
  A ＝（）
  B ＝（e）
  C ＝（a，（b，c，d））
  D ＝（A，B，C）
  E ＝（a，E）
  F ＝（（））

 

• 从上述广义表的定义和例子可以得到广义表的下列重要性质：
  ①广义表是一种多层次的数据结构。广义表的元素可以是单元素，也可以是子表，而子表的元素还可以是子表，…。
  ②广义表可以是递归的表。广义表的定义并没有限制元素的递归，即广义表也可以是其自身的子表。例如表E 就是一个递归的表。
  ③广义表可以为其他表所共享。例如，表A、表B、表C 是表D 的共享子表。在D中可以不必列出子表的值，而用子表的名称来引用。

 

二. 存储方式

1. 头尾表示法

• 若广义表不空，则可分解成表头和表尾；反之，一对确定的表头和表尾可惟一地确定一个广义表。头尾表示法就是根据这一性质设计而成的一种存储方法。
• 由于广义表中的数据元素既可能是列表也可能是单元素，相应地在头尾表示法中结点的结构形式有两种：一种是表结点，用以表示列表；另一种是元素结点，用以表示单元素。
• 在表结点中应该包括一个指向表头的指针和指向表尾的指针；而在元素结点中应该包括所表示单元素的元素值。
  为了区分这两类结点，在结点中还要设置一个标志域，如果标志为1，则表示该结点为表结点；如果标志为0，则表示该结点为元素结点。
• 举个栗子：

A ＝（）
B ＝（e）
C ＝（a，（b，c，d））
D ＝（A，B，C）
E ＝（a，E）
F ＝（（））

 

2. 孩子兄弟表示法

• 在孩子兄弟表示法中，也有两种结点形式：一种是有孩子结点，用以表示列表；另一种是无孩子结点，用以表示单元素。
• 在有孩子结点中包括一个指向第一个孩子（长子）的指针和一个指向兄弟的指针；而在无孩子结点中包括一个指向兄弟的指针和该元素的元素值。
• 为了能区分这两类结点，在结点中还要设置一个标志域。如果标志为1，则表示该结点为有孩子结点；如果标志为0，则表示该结点为无孩子结点。
• 举个栗子：

A ＝（）
B ＝（e）
C ＝（a，（b，c，d））
D ＝（A，B，C）
E ＝（a，E）
F ＝（（））

 

三.长度和深度

1. 长度

• 广义表的长度： 若广义表不空，则广义表所包含的元素的个数，叫广义表的长度。
• 在 LS = (a1,a2,…,an) 中，ai表示原子或者子表， LS 的长度为 n。

2. 深度

• 广义表的深度： 广义表中括号的最大层数叫广义表的深度。
• 例如对广义表LS=((),a,b,(a,b,c),(a,(a,b),c))
  长度为5，深度为3

 

参考文章：

5.4 广义表