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

转自 http://blog.csdn.net/se000/article/details/2709261

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

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

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

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

定义：

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

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

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

转载于:https://my.oschina.net/hebianxizao/blog/64614

形式化、半形式化和非形式相关推荐

形式化、半形式化和非形式化
形式化.半形式化和非形式化是三种类型的规范风格. 形式化规范就是用一套基于明确定义的数学概念的符号来书写,并且通常伴随着支持性的解释(非形式化)语句.这些数学概念被用来定义符号的句法和语义,以及支持逻 ...
鸿蒙形式化验证,形式化验证在网络中的应用
作者简介:唐昊,现就职于华为,从事云网络研发工作. IBN(基于意图的网络)是近年来网络领域中最热门的话题之一,网络验证是其中最关键的环节.我们在此之前一直专注于网络配置的自动化,例如根据模板创建配置 ...
结构化/半结构化/非结构化数据
1 结构化数据结构化的数据是指可以使用关系型数据库表示和存储,表现为二维形式的数据.一般特点是:数据以行为单位,一行数据表示一个实体的信息,每一行数据的属性是相同的. 举一个例子: id name ...
结构化数据、半结构数据和非结构数据的总结
(一) (1)结构化数据(即行数据,存储在数据库里,可以用二维表结构来逻辑表达实现的数据) (2)非结构化数据,包括所有格式的办公文档.文本.图片.XML.HTML.各类报表.图像和音频/视频信息等等 ...
李铁谈“多规合一”：“合”在思想而非形式
业内普遍认为,解决普遍存在的"规划打架"等问题,"多规合一"是一剂良药.那么,各种规划之间到底存在怎样的"摩擦"?推进"多规合一& ...
什么是软件形式化方法
软件形式化方法(Formal Method)在软件开发中一直都受到多方面的争议.持肯定态度的拥护者认为形式化方法会引起软件开发的革命,另一些持否定态度者则怀疑甚至反对将数学引入软件开发过程中. 形式化 ...
自动形式化与通用人工智能：Google Research 2020年报告
原论文:A Promising Path Towards Autoformalization and General Artificial Intelligence https://doi.org/1 ...
迈向可验证的 AI: 形式化方法的五大挑战
来源:AI科技评论本文约10500字,建议阅读20分钟本文回顾了形式化方法传统的应用方式,指明了形式化方法在 AI 系统中的五个独特挑战. 人工智能试图模仿人类智能的计算系统,包括人类一些与智能具有 ...
关于“形式化”问题的讨论
周锡令:xlzhou0421@vip.sina.com 开场白甲: 在有关自然语言处理的资料中,常常可以看到"要将自然语言形式化"的说法,例如,有一次我在一份资料中看到: 自然语 ...

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

形式化、半形式化和非形式相关推荐

最新文章

热门文章