单选题

Z语言是一种具有“状态—操作”风格的形式化语言。其最主要的结构是(),由变量说明和谓词约束两部分组成。

A

集合

B

模式(Schema)

C

构型

D

映射

查看答案
答案
正确答案:B
解析

Z语言最主要的结构是模式(Schema),用于描述系统状态和操作。

【考点来源】2.6.4形式化语言

历年真题
资料下载

注册回到顶部

版权所有©环球网校All Rights Reserved