Z 语言
ZSimple型高级语言编译器
Ｓ 。 ＭＬ 第一遍构建符号表（ 对象）在其 中存储了 Ｚ ｉｐ 程序 。 Ｓ ｌ ｍ ｅ 的每个行号 （ 象 ） 对 、 变量名 （ 象） 对 和常量 （ 象） 它们 的类 对 及 型和在最终 的 Ｓ ＭＬ代码 中的相应位 置 （ 符号表将 在面详 细讨论 ） 。第一遍也为每个 Ｚ ｉｐ 语 句产生相应的 Ｓ 指 Ｓ ｌ ｍ ｅ ＭＬ 令对象 。 我们将会看到 ， 如 如果 Ｚ ｉｐ 程序包含将控制转移 Ｓ ｌ ｍ ｅ 到程序较后 的语 句时 ，生成 的 Ｓ 程 序中会包含一些未完 ＭＬ 成 的指令 。第 二遍 编译器定位定 位并 完成 那些未完成 的指 令， Ｓ 将 ＭＬ程序输出到一个文件中。 第一遍扫描 ，编译器开始会把 Ｚ ｉｐ 程 序的一个语句 Ｓ ｌ ｍ ｅ
一
５ ０ ￣
ｔ ｓ ，
。
ｉ
‘ ‘ ＿＝ ＿ Ｉ
・
； ＝ ； ＿
ｉ
． 并ｉ ；
：
穗９
’
１ ｔ－ ０
＇ａ脚 ・ ５
－ －
冉 曩 牛 拉 嘲 Ｉ ・， 开
读入 内存 。必须将语句分解成独立的记号 （ 即语句片段） 来处 理和编辑 （ 标准库函数 ｓｔｋ可以很 容易地 完成这个任务） ｔｏ ｒ 。 回想一下 ， 每条语句都是以行号开始 ， 后跟一条语句。编译器
首先讨论一下这种高级语 言 Ｚ ｉ ｌ。 Ｓｍ ｌ与流行 的 Ｓ ｅ Ｚ ｉ ｐｅ ｍｐ ＢＳ ＡＩ Ｃ语言的早期版本很相似。每个 Ｚ ｉｐ 语句包含一个 Ｓ ｌ ｍ ｅ 行号和一条 Ｚ ｉ ｐｅ Ｓｍ ｌ指令。 行号必须以递增 的顺序出现 。 每条 指令 以下面 的某 条 Ｚ ｉ ｌ 令 开始 ： ｍ， ｐ ｔ ｅ，ｒ ｔ Ｓｍｐ ｅ命 ｒ ｉ ｕ ， ｔｐ ｎ ， ｅ ｎ ｌ ｉ ｇｔ， ．ｏ ， ｄ ｏ ｉ． ｔ ｅ 。除了 ｅｄ ｏ ｆｇ ｏ ｎ ． ｎ 命令之外 ， 的命令都可以 反 所有 复使 用。Ｚ ｉ ｌ 只能计算 由运算 符” ｌ” ，★ ， … ’ Ｓｍｐｅ ＋Ｉ 一’ ¨和 ／组成 ， ” 的整 数表达式。这些运算符具有像在 ｃ语言中一样 的优先 级 。可以使用圆括 号来改变表达式 的计算顺序。
字母学习认识A到Z
字母学习认识A到Z字母是构成语言的基础元素之一，它们以各自的形态和音素代表着不同的声音。
在学习语言和阅读方面，掌握字母表是至关重要的一步。
本文将带领大家认识和学习A到Z的26个字母，为字母学习提供指导。
1. A字母A是英文字母表中的第一个字母，它的形状像一个倒置的V。
在英语中，A的发音为/ēi/，如apple（苹果）。
2. B字母B是英文字母表中的第二个字母，它的形状像两个连在一起的半圆。
在英语中，B的发音为/biː/，如book（书）。
3. C字母C是英文字母表中的第三个字母，它的形状像一个弯曲的C。
在英语中，C的发音为/siː/，如cat（猫）。
4. D字母D是英文字母表中的第四个字母，它的形状像一个直立的D。
在英语中，D的发音为/diː/，如dog（狗）。
5. E字母E是英文字母表中的第五个字母，它的形状像一个横杠拖长下来的E。
在英语中，E的发音为/iː/，如elephant（大象）。
6. F字母F是英文字母表中的第六个字母，它的形状像一个直立的F。
在英语中，F的发音为/ɛf/，如fish（鱼）。
7. G字母G是英文字母表中的第七个字母，它的形状像一个C加上一条小尾巴。
在英语中，G的发音为/dʒiː/，如girl（女孩）。
8. H字母H是英文字母表中的第八个字母，它的形状像两个连在一起的直线。
在英语中，H的发音为/eich/，如house（房子）。
9. I字母I是英文字母表中的第九个字母，它的形状像一个竖线。
在英语中，I的发音为/ai/，如ice cream（冰淇淋）。
10. J字母J是英文字母表中的第十个字母，它的形状像一个勾。
在英语中，J的发音为/dʒey/，如juice（果汁）。
11. K字母K是英文字母表中的第十一个字母，它的形状像两个交叉的直线。
在英语中，K的发音为/kei/，如kite（风筝）。
12. L字母L是英文字母表中的第十二个字母，它的形状像一个倾斜的L。
在英语中，L的发音为/ɛl/，如lion（狮子）。
一种从Z规约到并行程序的精化方法
难 以通 过 形 式 化 的 推 导 来 实现 ． 设 计 模 式 是 对 不 断 重 复 发 生 的 问题 及 其 解 决 方 案 的核 心 的 描 述 ¨， 在 面 向对 象 软件 设 计 中有 着 广 泛 的 】 它 应用 ． 这 一 概念 并 不局 限于 该 领 域 ， 们 在 文 献 ［】 但 我 ２ 中对 其 进 行 了扩 展， 义 了可 用于 问题 求 解 的 设 计模 式 ． 定 将 设 计 模 式 引 入 并 行 程 序 的形 式 化 开 发 ， 立 一 个 以 ｚ语 言 为 基 础 的 并 行程 序 精 化 框 架 ． 这 一 框 架 下 ， 建 在 使 用 ｚ 语 言 描 述 问题 的 功 能规 约 ， 用 设 计模 式 和 精 化 演 算 相 结 合 的方 法进 行 程 序 精 化 ， 以弥 补 现 有 形 式化 方 采 可
从 Ｚ 功 能 规 约 出发 ． 过 使 用 扩展 的设 计模 式逐 步精 化 得 到 并行 的设 计规 约， 通 过保 持 语 义的 转 换 ， 到 可 最 通 再 得 后 转 换 为 并行 代 码 的抽 象 并行 程 序 ． 过 实例对 这 一 方 法 进行 了详 细 的描 述 ． 通 关 键 词 ：设 计模 式 ； 化 ； 行 程 序 开 发 精 并
维普资讯
万 剑怡 等 ： 种 从 ｚ规 约 到 并行程 序 的精 化 方法 一
１２ 扩 展 的设 计 模 式 及 其表 示 ．
２ ０ ｌ７
从 功 能 规 约 到 设 计 规 约 的 过 程 实 际上 就 是 问题 求 解 的过 程 ． 们 在 长 期 的 设 计 实 践 中总 结 出 了 一 些 问题 人 求 解 的策 略 ， 并得 到 了广 泛 的应 用 ， 分 而 治 之 法 （ｉｉｅａ ｄｃ ｎ ｕ ｒ、贪 心 法（ｒｅ ｙ 、分 枝 限 界法 （ｒｒ ｈａｄ 如 ｄｖｄ ｎ ｏ ｑ ｅ） ｇｅ ｄ ） ｂａＩ ｎ ｃ ｂ ｕ ｄ 等 ． 而 这 些 策 略 的使 用 往 往 是非 形 式 的， 决 于 设 计 人 员 的知 识 与 经 验 ． 们 认 为 这 一 类 设 计 经 验 也 可 ｏｎ） 然 取 我 定 义 为设 计 模 式 口． 统 的设 计 模 式 表 示 采 用 自然 语 言叙 述 、程 序 设 计 语 言 实 现 的 ＤＰ １ 传 ｓ具体 样 本 、ＯＭＴ 图相 结 合 的 方法 ． 些 方法 抽 象 级 别 低 ， 乏严 格 性 和 完 整 性 ， 能支 持 其 在 形 式 化 开 发 中 的应 用 ． 们采 用 Ｐ Ｚ表 示 这 缺 不 我 ａ 设 计模 式， 其 可 以 自然 地 融 入 ｚ语 言 的 精 化 演算 体 系， 而 支 持 设计 阶 段 的形 式 化 开 发 ． 使 从
区间二型模糊语言Z-numbers及其应用
念,Z鄄numbers 的 构 造 更 好 地 考 虑 了 信 息 的 “ 可 信
提 出 了 区 间 二 型 模 糊 语 言 Z鄄numbers
赖冶 程度。 Wang [6] 根据 Z鄄numbers 和语言评价集, ( IT2FLZNs) 在多属性群决策中的应用。 首先,给出
提出了语言 Z鄄numbers,并定义了相关的一些算子。 了关于区间二型模糊集及 Z鄄numbers 的相关概念,
比较语言型模糊集之间的优劣性提供了有力的工
模糊集概念[1—2] 被提出后,被广泛应用于统计 具。 Wang[13] 和 Peng[14] 在前人研究的基础上,提出
决策、 系 统 工 程、 模 式 识 别、 人 工 智 能 等 领 域。 了新的语言型尺度函数,并运用在犹豫不确定语言
Zadeh[3] 在 1975 年提出二型模糊数用来解决不确定 型 Z鄄numbers 中,为语言型模糊集在实际决策应用
第 36 卷第 2 期摇 摇 摇 摇 摇 摇 摇 摇
重庆工商大学学报( 自然科学版) 摇 摇 摇 摇 摇 摇 摇 摇 2019 年 4 月
Vol郾 36摇 NO郾 2
J Chongqing Technol Business Univ郾 ( Nat Sci Ed)
Apr郾 2019
doi:10郾 16055 / j郾 issn郾 1672-058X郾 2019郾 0002郾 001
乙 乙 乙 (乙 ) A =x沂XFra biblioteku沂Jx
1 ( x,u)
=
x沂X
1 u u沂Jx x
(3)
为了方便,定义 A = ( AU,AL ),一个区间梯形二
型模糊数记为
A
=
z c s课件ppt
z c s在未来的应用前景与挑战
应用前景
随着z c s语言的发展和普及，其应用 领域将越来越广泛。未来，z c s将在 数据处理、人工智能、云计算、物联 网等领域发挥重要作用。
挑战
尽管z c s具有强大的功能和广泛的应 用前景，但仍面临一些挑战。如生态 系统尚不成熟、学习曲线陡峭等问题 ，需要不断改进和完善。
文件操作问题
总结词
安全性、稳定性、高效性
详细描述
在文件操作问题中，ZCS算法同样表现出色。通过使用ZCS算法，文件读写和操作的过程能够得到安 全性、稳定性和高效性的保障。同时，该算法还能够保证处理过程中的安全性，避免因处理不当导致 的文件损坏或数据丢失。
05
z c s与其他语言的比较
与c/c的比较
作用，根据用户兴趣和历史行为
进行个性化推荐。
自然语言处理
z c s有助于自然语言处理，实现
文本分类、情感分析、机器翻译
03
等功能。
图像识别与分析
04 z c s在图像识别与分析中发挥关
键作用，实现图像分类、目标检
测、图像生成等功能。
02
z c s基本语法
变量与数据类型
变量定义
z c s支持多种数据类型， 包括整数、浮点数、字符 串、布尔值等，定义变量
2. 执行效率：z c s通常比python更快， 但在处理大数据和复杂算法时，python 的表现可能更出色。
详细描述
1. 语法：z c s的语法较为简洁、清晰， 而python的语法更加灵活、简洁。
与java的比较
01
02
总结词：z c s与java都 是广泛使用的编程语言 ，但它们的设计理念和 应用领域有所不同。
z的ascall码值
z的ascall码值
z的ascii码值为122。
大写字符A到Z的ASCII代码分别是065到090，字符加一，代码加一。
小写字符a到z的ASCII代码分别是097到122，依旧是字符加一，代码加一。
ASCII是基于拉丁字母的一套电脑编码系统，主要用于显示现代英语和其他西欧语言。
常见字符的ASCII码值如下：空格的ASCII码值为32；数字0到9的ASCII 码值分别为48到57；大写字母“A”到“Z”的ASCII码值分别为65到90；小写字母“a”到“z”的ASCII码值分别为97到到122。
ASCII码使用指定的7位或8位二进制数组合来表示128或256种可能的字符。
标准ASCII码也叫基础ASCII码，使用7位二进制数（剩下的1位二进制为0）来表示所有的大写和小写字母，数字0到9、标点符号，以及在美式英语中使用的特殊控制字符。
在标准ASCII中，其最高位（b7）用作奇偶校验位。
所谓奇偶校验，是指在代码传送过程中用来检验是否出现错误的一种方法，一般分奇校验和偶校验两种。
奇校验规定：正确的代码一个字节中1的个数必须是奇数，若非奇数，则在最高位b7添1；偶校验规定：正确的代码一个字节中1的个数必须是偶数，若非偶数，则在最高位b7添1。
基于C++模板的Z规格说明的数据类型的实现
集 合、序列、包这 ３ 种抽象数据存在下列关系 ： （）ａ － ｓｔ １ ｇＴ－ ｂ ４ ｅ Ｔ：将包 Ｔ中的重复出现 的元素仅保 留一
言中作用在抽象数据类 型上的各种操作 。 比较流行 的 ｃ ＋ ＋ 是一种面 向对象 的命令式语言 ，它在 ｃ 语言的基础上发展 起来 ，加入了面 向对象的继承、封装和多 态机制 ，但并没有改变其基本数据类型～一整型 、字符型、 。 浮点型等的性质 ，在标准 ｃ ＋ ＋ 基础上开发 的编程辅助工具 ， 例如 ＭＦ Ｃ类库 ，也没有直接对集合 、序 列、包、关系、函数 等类型的支持 。但 ｃ ＋ ＋ 的类概念 （ 封装 了数据和操作）和定 义新类的机制为其扩充数据类型创造了条件。另外，ｃ ＋ ＋的 模板 （ ｍ ｌ ｅ ｔ ｐｔ ｅ ａ ）机制 ， 包括类模板和函数模板 ， 也为实现不
ｅ ｆｃｅ ｃ ｆｓ ｆｗａ ｅｄ ｖ ｌ ｐ ｎ ． ｆ ｉ ｎ ｙ ｏ ｏ ｔ ｒ ｅ ｅ ｏ ｍｅ ｔ ｉ
［ ｅ ｏｄ ＩＴ ｍｐ ｔ Ｚｓｅｉｃｔ ｎ ａ ｇ ａ ｅ Ｃ ＋ １ ｐ Ｋ ｙ ｒｓ ｅ ｌ ｅ ｃ ａ ｏ ｎ ｕ ｇ ； ＋ ； ｅ ｗ ａ； ｐ ｆ ｉ ｌ ｉ
中 分 号ｚ Ｐ １ 田 类 ３ Ｔ １
基 于 Ｃ＋ 模 板 的 Ｚ规 格 说 明 的数据 类 型 的 实现 ＋
高晓臂 ，纂淮扣 ，李 舅
（． １ 东莞理工 学院软 件学院 ，东莞 ５３０ ；２ 上海大学 计算机 学院 ，上海 ２０７） ２８ ８ ． ００２ 摘 叠： 主要介绍 了用 ｃ ＋ ＋ 类模板实现 ｚ规格说 明语言 中的类型 ， 包括 数据 结构的设计、成 员函数的设计 。 该模板 的实现便于代码 的重用
ｂ ｇＴ ＝ Ｔ ＋ ａ ＝ ＿÷Ｎ１
声母z教案汇总教育教学方案
声母z教案汇总教育教学方案一、教学内容本节课的教学内容选自人教版小学语文一年级上册，第三章《汉语拼音》中的声母z。
教学目标是让学生掌握声母z的发音方法、书写笔顺和应用能力。
具体内容包括：1. 声母z的发音方法：舌尖抵住上齿龈，气流从舌尖和上齿龈之间的窄缝中冲出，声带振动。
2. 声母z的书写笔顺：从左上角开始，绕着舌尖的形状画一个半圆，然后连接到下面的横线。
3. 声母z的应用：将声母z与其他韵母和声调组合，形成完整的拼音。
二、教学目标1. 学生能够正确发音声母z，并能与其他韵母和声调组合成完整的拼音。
2. 学生能够熟练书写声母z的笔顺，书写规范、正确、美观。
3. 学生能够在实际语言环境中运用声母z，提高语言表达能力。
三、教学难点与重点重点：声母z的发音方法和书写笔顺。
难点：声母z与其他韵母和声调的组合，以及在实际语言环境中的应用。
四、教具与学具准备1. 教具：PPT、黑板、粉笔、教学卡片、录音机、音响设备。
2. 学具：学生课本、练习本、铅笔、橡皮、拼音卡片。
五、教学过程1. 实践情景引入：教师播放一段含有声母z的音频，让学生仔细聆听，引导学生注意声母z的发音特点。
2. 发音练习：教师示范声母z的发音方法，学生跟读模仿，反复练习，直至发音准确。
3. 书写笔顺教学：教师演示声母z的书写笔顺，学生跟随书写，教师逐一纠正错误，确保书写规范。
4. 应用练习：学生分组，用声母z与其他韵母和声调组合成完整的拼音，互相交流、纠正，提高应用能力。
六、板书设计板书内容：声母z的发音方法、书写笔顺和应用示例。
板书结构：分为三个部分，分别表示发音方法、书写笔顺和应用示例。
发音方法部分用箭头表示气流方向，书写笔顺部分用线条表示笔画顺序，应用示例部分用拼音表示声母z与其他韵母和声调的组合。
七、作业设计1. 作业题目：请用声母z与其他韵母和声调组合成完整的拼音，写在小卡片上，每人写五组。
2. 作业答案：zhi、chi、shi、ri、zi八、课后反思及拓展延伸1. 课后反思：本节课学生掌握了声母z的发音方法和书写笔顺，但在实际语言环境中的应用还需加强。
面向对象的形式化规约语言GOOZ
第２ 卷 ８
ｖ ０ ｌ ２８
・
第９ 期
№ ９
计
算
机
工
程
２０年９ ０ ２ 月
Ｓｅ ｅ ｂｅ ０ ｐｔ ｍ ｒ ２ ０２
Ｃｏ ｐ ｔ ｒ Ｅｎｇ ｎ ｅ ｉ ｇ ｍ ｕ ｅ ｉ ｅ ｒｎ
博士论文 ・
文章编号：１０－３２（ ０） －０１－ ２ ００－４８ ０２ ９－０９－ － ２ ０ －０
ｆ ｍａ ｐｅ ｉ ｃ ｔｏｎ ｌ ｎｇ ｇ ａ ｅ ｏｒ ｌｓ ｃｆ ａ ｉ ａ ｕａ ｅ ｎ ｍ ｄ ＧＯ ＯＺ ， ｉ ｗｈｉ ｈ ｉ ｘ ｅ ｓ ｏ ｆ ａ ｓ ＧＯＯ Ｚ ｓ ｍａｎ ｈａ ａｃ ｅ ｉｔｃ ｕｃ ｏｎ ｉｉ ｎ， ｌ ｄ ｆｎ ｄ ｃ ｓａｎ ｅ ｔ ｎ ｉ ｎ ｏ ｌｏ． Ｚ ｈａ ｙ ｃ ｒ ｔ ｒ ｓ ｉ ｓｓ ｈ ａ ｃ ｃ ｏ ｗｅ ｌ ｅ ｉ ｅ ｓ ｓ ・
描述提 供 支持 ，也没 有给 出语 言的形 式语
（） ｊｃ＿ ２ Ｏｂｅ ｔＺ
。
将 类 的 可 见 性 定义 、状 态 模 式 、 初 始化
模 式及 操作 模式 封装在 类 模 式 中 ，支 持继承 ，适于书 写 大型 软件 规约 。此外 ，Ｏ ｊｃ＿ 还 引入 了时序 逻 辑 以描 述历 史性 ｂｅ ｔＺ 约束 。Ｏ ｊｃ Ｚ中无模 块概 念 ，形 式化 语义 也不 够完 善” ｂｅｔ ＿ 。
用 到软 件 形式规 约 的 自动转换 中。
１ 几 种 ｚ 言 面 向对 象 扩 充 的 比较 语
Ｍｏ Ｚ ｏ、 、 Ｏ ｊｃ Ｚ、 Ｏ Ｅ ｚ语 言 面 向 对 象 扩 充 的 ｂｅｔ ＿ ＯＺ 是 典 型代 表 ，下 面 将 分 别 加 以介 绍 。
z 字形变换 c语言
z 字形变换 c语言在C语言中实现Z字形变换，可以通过一种巧妙的算法来达到此目的。
这个算法可以将输入字符串按照Z字形进行排列，并最终以Z 字形顺序输出。
本文将详细介绍如何用C语言实现这一算法，希望对初学者有一定的指导意义。
首先，我们需要将输入字符串按照Z字形排列，也就是将字符按照指定的规则放置在二维数组中。
在这个算法中，我们可以通过对字符串的遍历和对目标二维数组元素的判断来实现。
具体来说，我们可以定义一个二维数组来存储所有的字符。
对于一个n行的Z字形排列，我们可以将其表示为一个n*n的二维数组。
在这个二维数组中，我们可以将排列结果表示为每个元素的坐标。
算法的核心思想是根据字符在二维数组中的位置，将其放置到相应的位置。
对于一个字符c来说，设当前字符的位置为(x, y)，其中x 表示行，y表示列。
那么我们可以根据x和y的值来判断应该将字符c 放置在哪个位置。
具体来说，我们可以定义两个变量row和col来记录当前字符所在的行和列。
初始时，row和col都为0。
接下来，我们遍历字符串中的每个字符。
对于字符c而言，我们首先将其放置在二维数组中的(row, col)位置。
然后，根据当前字符所在的位置和规律可以推导出下一个字符的位置。
如果字符c在Z字形中位于第一个斜线上（也就是x + y 为常数），那么下一个字符的位置为(row - 1, col + 1)。
如果字符c 在Z字形中位于第二个斜线上（也就是x + y 不为常数），那么下一个字符的位置为(row + 1, col)。
通过不断更新row和col的值，我们可以将输入字符按照Z字形排列到二维数组中。
为了方便输出，我们可以将二维数组中的字符逐行连接起来，形成一个新的字符串。
最后，这个新的字符串就是按照Z 字形排列后的结果。
在实现Z字形变换算法时，我们需要注意一些边界条件的判断。
例如，我们要确保row和col的值不超过二维数组的范围，并且在遍历字符串时需要考虑字符串的长度。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
4.4 Z 语言
4.4.1 简介
用Z 语言描述的、最简单的形式化规格说明含有下述 4 个部分：
.给定的集合、数据类型及常数。
.状态定义。
.初始状态。
.操作。
现在依次介绍这4部分。
1. 给定的集合
一个Z 规格说明从一系列给定的初始化集合开始。
所谓初始化集合就是不需要详细定义的集合，这种集合用带方括号的形式表示。
对于电梯问题，给定的初始化集合称为Button ，即所有按钮的集合，因此，Z 规格说明开始于：〔Button 〕
2. 状态定义
一个Z 规格说明由若干个“ 格(s chema) ” 组成，每个格含有一组变量说明和一系列限定变量取值范围的谓词。
例如，格S 的格式如图 4.12 所示
图 4.12 Z 格S 的格式
在电梯问题中，Button 有 4 个子集，即floor_buttons( 楼层按钮的集合) 、
elevator_buttons( 电梯按钮的集合) 、buttons( 电梯问题中所有按钮的集合) 以及pushed( 所有被按的按钮的集合，即所有处于打开状态的按钮的集合) 。
图 4.13 描述了格Button_State ，其中，符号P 表示幂集( 即给定集的所有子集) 。
约束条件声明，floor_buttons 集与elevator_buttons 集不相交，而且它们共同组成buttons 集( 在下面的讨论中并不需要
floor_buttons 集和elevator_buttons 集，把它们放于图 4.13 中只是用来说明Z 格包含的内
容) 。
图4.13 Z格Button_State
3. 初始状态
抽象的初始状态是指系统第一次开启时的状态。
对于电梯问题来说，抽象的初始状态为：Button_Init 〔Button_State ｜pushe d= Φ〕上式表示，当系统首次开启时pushed 集为空，即所有按钮都处于关闭状态。
4. 操作
如果一个原来处于关闭状态的按钮被按下，则该按钮开启，这个按钮就被添加到pushed 集中。
图 4.14 定义了操作Push_Button( 按按钮) 。
图4.14 操作Push_Button的Z规格说明
操作的谓词部分，包含了一组调用操作的前置条件，以及操作完全结束后的后置条件。
如果前置条件
成立，则操作执行完成后可得到后置条件。
但是，如果在前置条件不成立的情况下调用该操作，则不能得到指定的结果( 因此结果无法预测) 。
假设电梯到达了某楼层，如果相应的楼层按钮已经
打开，则此时它会关闭；同样，如果相应的电梯按钮已经打开，则此时它也会关闭。
也就是说，如果“ button? ” 属于pushed 集，则将它移出该集合，如图 4.15 所示( 符号“ ＼” 表示集合差运算) 。
图4.15 操作Floor_Arrival的规格说明
4.4.2 评价
已经在许多软件开发项目中成功地运用了Z 语言，目前，Z 也许是应用得最广泛的形式化语言，尤其是在大型项目中Z 语言的优势更加明显。
Z 语言之所以会获得如此多的成功，主要有以下几个原因：
(1) 可以比较容易地发现用Z 写的规格说明的错误，特别是在自己审查规格说明，及根据形式化的规格说明来审查设计与代码时，情况更是如此。
(2) 用Z 写规格说明时，要求作者十分精确地使用Z 说明符。
由于对精确性的要求很高，从而和非形式化规格说明相比，减少了模糊性、不一致性和遗漏。
(3) Z 是一种形式化语言，在需要时开发者可以严格地验证规格说明的正确性。
(4) 虽然完全学会Z 语言相当困难，但是，经验表明，只学过中学数学的软件开发人员仍然可以只用比较短的时间就学会编写Z 规格说明，当然，这些人还没有能力证明规格说明的结果是否正确。
(5) 使用Z 语言可以降低软件开发费用。
虽然用Z 写规格说明所需用的时间比使用非形式化技术要多，但开发过程所需要的总时间却减少了。
(6) 虽然用户无法理解用Z 写的规格说明，但是，可以依据Z 规格说明用自然语言重写规格说明。
经验证明，这样得到的自然语言规格说明，比直接用自然语言写出的非形式化规格说明更清楚、更正确。
使用形式化规格说明是全球的总趋势，过去，主要是欧洲习惯于使用形式化规格说明技术，现在越来越多的美国公司也开始使用形式化规格说明技术。