什么是Z语言

Z语言是一种用“数学文字”或“数学符号”来描述计算机系统的规范化语言，它不但能应用于计算机硬件系统，而且也特别适用于计算机软件系统，Z语言描述“做什么”而不涉及“怎么做”，只对目标软件系统进行功能描述。实际上，Z语言仅仅是一套规定的数学符号，使用Z语言所写的“程序”是对计算机软件或硬件系统的一种抽象化设计。所以，利用Z语言写出来的内容不是计算机程序，更不是可以编译而生成能够在计算机上运行的代码。利用Z语言写出来的内容不是让计算机运行的，而是供人理解和分析的。用户可以通过这些内容去理解计算机系统的模块、数据类型、过程、函数、对象、类等，进而对计算机系统的行为、结构、逻辑进行分析、验证、改进、测试等。