抽象文法 分量 实验 应用层 数据结构 类属性 知识层 抽象语法 机动运输工具 概念设计