一个广义表的表头总是一个广义表

广义表是一种数据结构，它可以包含一组元素，这些元素可以是数字、字符串、或者是其他广义表。广义表的表头是指第一个元素，表尾是指除第一个元素以外的其他元素构成的广义表。在广义表中，表头可以是单个元素，也可以是另一个广义表。但无论表头是什么，它都必须是一个广义表。

这个观点可以从多个角度进行分析。

1. 语法层面

从语法层面来看，广义表的定义是递归的。一般地，广义表可以用以下方式定义：

G = () | (E1, E2, ..., En)

其中，() 表示一个空表，E1, E2, ..., En 是广义表的元素，每个元素可以是数字、字符串或者是其他广义表。可以发现，G 中的表头是 E1，如果 E1 是一个元素，那么它可以是任何数据类型；如果 E1 是一个广义表，那么它就是一个嵌套在 G 中的广义表。

举个例子，假设有以下广义表：

G1 = (1, (2, 3), 4)

那么 G1 的表头是 1，表尾是 (2, 3), 4。其中，(2, 3) 是一个广义表，它又有自己的表头和表尾。可以看到，广义表的表头可以是任意数据类型，但如果是一个广义表，那么它的表头也必须是一个广义表。

2. 递归结构

广义表的递归结构也表明了表头必须是一个广义表。假设广义表 G 的表头不是一个广义表，而是一个数字或字符串，那么 G 的表尾就没有办法表示成一个广义表。但是广义表的表尾必须是一个广义表，因为广义表的定义是递归的。如果我们使用 G 的表尾来构造一个新的广义表 G’，那么这个新的广义表的表头就是 G 的表尾，也就是一个广义表。因此，如果 G 的表头不是一个广义表，那么我们就无法将它与 G 的表尾组合成一个新的广义表。

3. 容易理解

广义表的表头总是一个广义表，这个观点还有一个原因是它能够帮助人们更好地理解广义表的结构。因为广义表是递归定义的，这意味着一个广义表可以包含另一个广义表。如果我们将广义表的表头视为一个广义表，那么这个广义表的元素就是包含在这个广义表中的广义表。这样，我们就可以很自然地理解广义表的结构，而不需要花费太多的精力去理解。