如果在同一个文件里混用多种语言，必须保证文法不会出现二义性，也就是说所有的输入都只能存在一种解释。
If you want to combine languages inside of a file, you have to be sure that the resulting grammar isn't ambiguous, i.e. that for each input there is only one way to interpret it.
主要用于软件的需求阶段，它摒弃了采用自然语言描述需求的模糊性和二义性。
It mainly USES in the software demand stage, abandoning using the natural language description demand the fuzziness and the ambiguity.
语言就是形式化方法中具有代表性的一种形式规格说明，它语言精确、无二义性，可以用于推理和求精。
Z language is a formal specification which is representative in formal method. Z language is accurate and without different meanings. It could be used to discursion and refinement.
应用推荐