1.【单选题】
Z语言是一种具有“状态—操作”风格的形式化语言。其最主要的结构是（），由变量说明和谓词约束两部分组成。
集合
模式（Schema）
构型
映射
微信号：hqwxjg1006
扫描即表示同意《网站注册协议》
