Next summary the Z specification grammars, form a Z subset, we called them as Smart Z.

• 其次归纳总结了Z规格说明文法,形成了一个Z文法的子集,我们称之为Smart Z。