在《数据结构》中，广义表的定义指出，若广义表LS为（a1,a2...an）且非空，那么a1作为LS的表头，而（a2,a3,..an）则是LS的表尾。这一定义表明，广义表的表头可以是单一元素或子表，而表尾必须是表。例如，对于广义表LS=(a,b)，a是其表头，而（b）是其表尾，而非b本身。再如LS=(a)，其表头为a，表尾则为空表()。通过这些例子可以看出，非空广义表的表尾总是表，而不是原子元素。
进一步解释，非空广义表的表尾是除去表头后的所有元素组成的子表。这个子表可能为空，即如果广义表只有一个元素，那么它的表尾就是空表。因此，无论广义表的长度如何，只要它非空，其表尾就总是表。这种定义确保了广义表结构的一致性和完整性，使得广义表能够被有效地处理和操作。
广义表的表尾必定是列表的原因，在于它遵循了广义表的定义规则。广义表的表头可以是单一元素或子表，而表尾则是由表头之后的所有元素组成的表，因此表尾总是表。这种结构为广义表提供了灵活性，使其能够表示复杂的数据结构，同时保证了操作的统一性和简洁性。
因此，广义表的表尾作为列表，不仅能够保持数据结构的一致性，还便于进行各种操作，如插入、删除等。广义表通过这样的定义，使得其在实际应用中能够灵活地表示和处理复杂的数据关系。
