形式化、半形式化和非形式化

形式化规范就是用一套基于明确定义的数学概念的符号来书写，并且通常伴随着支持性的解释（非形式化）语句。这些数学概念被用来定义符号的句法和语义，以及支持逻辑推理的证明规则。支持形式化符号的句法和语义规则应该定义如何明确地识别其结构和确定其含义。并且必须有证据表明矛盾不可能产生，支持符号的所有规则都有定义或者引用。

半形式化规范就是用一种受限制的句法语言来书写，并且通常伴随着支持性的解释（非形式化）语句。这里的受限制句法语言可以是一种带有受限制句子结构和具有特殊意义的关键字的自然语言，也可以是图表式的（如：数据流图、状态转换图、实体关系图、数据结构图、流程或程序结构图）。不论基于图表还是自然语言必须用一套规范来定义句法限制。

非形式化规范就是像散文一样用自然语言来书写。在这里使用自然语言作为任何普通口头语言（如：荷兰语、英语、法语、德语）中意思的沟通。非形式化规范不像常规语言的传统用法（如：文法和句法）一样受一些符号或特殊的限制。虽然没有符号限制，非形式化规范也要求为上下文中的术语定义其意思，除非作为常规用法已认可。

定义：

形式化（formal）：在完备数学概念基础上，采用具有确定语义定义并有严格语法的语言表达的规范风格。

半形式化（semiformal）：采用具有确定语义定义并有严格语法的语言表达的规范风格。

非形式化（informal）：采用自然语言表达的规范风格。