什么是最形式化的规范

问题描述

精选答案

形式化、半形式化和非形式化是三种类型的规范风格。

形式化规范就是用一套基于明确定义的数学概念的符号来书写，并且通常伴随着支持性的解释（非形式化）语句。这些数学概念被用来定义符号的句法和语义，以及支持逻辑推理的证明规则。支持形式化符号的句法和语义规则应该定义如何明确地识别其结构和确定其含义。并且必须有证据表明矛盾不可能产生，支持符号的所有规则都有定义或者引用。半形式化规范就是用一种受限制的句法语言来书写，并且通常伴随着支持性的解释（非形式化）语句。这里的受限制句法语言可以是一种带有受限制句子结构和具有特殊意义的关键字的自然语言，也可以是图表式的（如：数据流图、状态转换图、实体关系图、数据结构图、流程或程序结构图）。不论基于图表还是自然语言必须用一套规范来定义句法限制。非形式化规范就是像散文一样用自然语言来书写。在这里使用自然语言作为任何普通口头语言（如：荷兰语、英语、法语、德语）中意思的沟通。非形式化规范不像常规语言的传统用法（如：文法和句法）一样受一些符号或特殊的限制。虽然没有符号限制，非形式化规范也要求为上下文中的术语定义其意思，除非作为常规用法已认可。

其他回答

教育图书

最形式化的规范通常是指一种严格按照形式化语言和逻辑规则来描述和规定事物的方式，这种规范在计算机科学、数学和某些社会科学领域中最为常见。

它通过定义明确的规则和约束条件，使得事物的描述和规定具有明确性、一致性和可验证性。

形式化的规范可以确保在特定领域内，事物的描述和规定具有准确性和可靠性，从而为人们提供了一种共同的理解和交流的基础。