Z语言是一种具有“状态—操作”风格的形式化语言。其最主要的结构是(),由变量说明和谓词约束两部分组成。
集合
模式(Schema)
构型
映射
Z语言最主要的结构是模式(Schema),用于描述系统状态和操作。
【考点来源】2.6.4形式化语言
登录 | 注册 | 回到顶部
版权所有©环球网校All Rights Reserved