当前位置：新励学网 > 秒知问答 > 什么是最形式化的规范

什么是最形式化的规范

发表时间：2024-07-28 04:43:13 来源：网友投稿

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

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

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

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

免责声明：本站发布的教育资讯（图片、视频和文字）以本站原创、转载和分享为主，文章观点不代表本网站立场。

如果本文侵犯了您的权益，请联系底部站长邮箱进行举报反馈，一经查实，我们将在第一时间处理，感谢您对本站的关注！