数据结构（四）——线性表的公式化描述小结