用Z语言描述的、最简单的形式化规格说明包含（）。

用Z语言描述的、最简单的形式化规格说明包含（）。
A.给定的集合、数据类型及常数
B.状态定义
C.初始状态
D.操作
正确答案：ABCD