数据结构的形式描述方法