需求分析——形式化语言和自然语言的区别

原创 已于 2022-04-11 07:45:06 修改 · 6.8k 阅读 · 2 ·
CC 4.0 BY-SA版权
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
文章标签：

#软件工程

于 2019-05-28 15:42:32 首次发布
博客围绕需求分析展开，介绍了软件工程专业需求分析中两种语言的特点。自然语言用户易理解，但描述复杂且不同人理解易产生歧义；形式化语言包括逻辑、集合、代数描述，虽理解困难，但表达准确无歧义。

摘要生成于 C知道 ，由 DeepSeek-R1 满血版支持， 前往体验 >

8、通过用例形式化需求
garlic的博客
06-06 269
本文详细介绍了通过用例分析形式化需求的方法，包括识别参与者及其角色、绘制用例图、优化需求表达以及实际项目中的经验教训。通过深入访谈用户、持续迭代需求和加强团队协作，帮助开发者更好地掌握用例分析技能，提升项目的成功率和用户满意度。
自然语言处理（NLP）—— 神经网络语言处理
weixin_65190179的博客
06-02 2912
所谓“标记”，
形式化方法
在路上
04-06 2960
转载自中科院张文辉老师的主页引言：  形式化方法可以分为形式化描述和建立在形式化描述基础之上的形式化开发。形式化的描述就是用形式化的语言(具有严格的语法语义定义的语言)做描述。形式化的软件开发，就是用形式化的语言来描述软件需求和特征，并且通过推理验证来保证最终的软件产品是否满足这些需求和具备这些特征。这样的验证当然得建立在严格的语法语义的基础之上的。在实际应用中，这是不容易做到的。形式
形式语言和自然语言
ab153999的博客
08-30 2225
自然语言 (natural language) 是人们交流所使用的语言，例如英语、汉语等。 它们不是人为设计出来的（尽管有人试图这样做），而是自然演变而来的。 形式语言(formallanguages)是人类为了特殊用途而设计出来的。例如，数学家使用的记号(notation)就是形式语言，特别擅长表示数字和符号之间的关系。化学家使用形式语言表示分子的化学结构。最重要的是编程语言是被设计用于表达计算的形式语言。 形式语言通常拥有严格的语法规则，规定了详细的语句结构。 语法规则有两种类型，分别涉及记号（toke
《 Linux C编程一站式学习》连载二
PLUTO AREA
03-30 715
形式语言和自然语言的区别
迈达量化的博客
03-29 930
形式语言是一种只注重形式而不注重内容的语言，它只有语法而没有语义。形式语言的语法规则和规律是从词和句的个别和具体的东西中抽象出来的，用来构成语法规则和语法规律。自然语言是人类日常交流和表达思想的语言，它具有丰富的语义和多义性。自然语言是通过语法、词汇和语义来构成的，它不仅仅关注形式，还关注内容和意义。
自然语言和形式语言
nameofcsdn的博客
12-24 6014
目录 一，自然语言 1，自然语言的范畴 2，最小单元 （1）音节、读音 （2）单字、单词 （3）语素 （4）词 3，语法、词法、句法 （1）抽象性 （2）生成性 （3）系统性 （4）层次性 （5）递归性 4，语义 二，形式语言 一，自然语言 1，自然语言的范畴 自然语言的范畴，主要包括读音、字形、含义三大类。 读音是耳朵相关，字形是眼睛相关，含义是大脑相关，这三者都互相相关，并不独立。 读音方面，主要是音节和音调。 字形方面，主要是字母或者偏旁部首怎么组成单词。
算法设计与分析——C++ 语言描述[陈慧南编著][电子教案]
08-06
《算法设计与分析——C++ 语言描述》是由陈慧南编著的一部教材，主要针对计算机科学领域的核心课程——算法设计与分析进行深入讲解。这本书由电子工业出版社出版，旨在帮助学生和专业人士掌握如何使用C++语言来设计...
R语言——判别分析.ppt
01-28
R语言的优势在于其高度的可扩展性，研究者可以基于R语言的函数基础进行代码的编写和修改，以满足特定分析需求。 在学习判别分析的过程中，理论与实践相结合是非常重要的。通过理解判别分析的数学原理和统计意义，...
自然语言处理（NLP）—— 期末复习总
weixin_65190179的博客
07-06 2139
文本摘要的发展经历了从抽取式摘要到基于学习的方法的转变，这一进程不仅展现了技术的进步，也反映了摘要任务在可解释性方面可能面临的挑战。抽取式摘要是早期文本摘要的主要方法，其核心思想是从原文中直接抽取句子或短语，然后将它们组合起来形成摘要。这种方法的优点在于它保留了原文的确切词汇，从而在一定程度上保证了摘要的准确性。抽取式摘要的算法通常基于一些启发式规则，如句子的位置、长度、关键词出现频率等，来评估句子的重要性。由于抽取式摘要的结果直接来源于原文，因此它具有较高的可解释性。
软件形式化方法Z语言.rar
12-05
北大裘宗燕老师的《Z语言形式化方法》，Z语言用于编写软件规范，严格的指导编码过程。
Z语言--一种形式化描述语言
10-14
一种形式化描述语言，用于建模！是一种基于数学的形式化描述语言！
形式化语言 z语言 缪淮扣
09-22
z语言 缪淮扣 上海大学 形式化语言 用于软件工程的各个阶段
大语言模型驱动的跨域属性级情感分析——论文阅读笔记
weixin_62472350的博客
10-28 1649
一种基于 LLM 和数据增强的跨领域属性级情感分析方法，旨在克服目标领域数据匮乏和领域差异性的问题。
自然语言和计算机语言的差别,C++中，形式语言与自然语言的区别到底在哪里？这篇文章讲通了...
weixin_28917137的博客
07-17 1881
自然语言是人类讲话使用的语言，如英语、西班牙语和法语等。虽然人们总要给自然语言加上一些规则，但自然语言并非人类设计，它们是自然演化而来的。形式语言是人们为特定应用设计的语言。例如，数学家使用的记号就是一种便于表示数字与符号关系的形式语言。化学家也使用一种形式语言来表示分子的化学结构。最重要的是：编程语言是人为设计的用来表达计算的形式语言。形式语言有严格的语法规则。比如3+3=6是符合语法的数学语句...
形式化语言——时序逻辑
老顽固也可爱
10-28 2685
时序逻辑
形式化语言的重要性
刘瑛的博客
02-26 6965
世界上的语言，总体来说，可分为三类： 1.自然语言（比如英语和汉语） 2.半形式化的语言（数学语言），即自然语言加特定的符号。 3.形式化的语言（逻辑语言） 半形式化语言 任何一个数学分支的语言都是在自然语言的基础上附加一些特定的符号，它们与自然语言相比更具形式化。因此，称它为半形式化的语言。 数学语言作为一种特定的符号语言，与自然语言相比，它与算法建立了联系。因此，它还具有“可操作性”。法国数学...
什么是文法、形式化语言？有了形式化语言，为何还要构建文法？
最新发布
dzbwhut163的专栏
02-05 1888
1. 形式化语言（Formal Language）形式化语言是由符号组成的严格定义的字符串集合，这些字符串必须符合特定的规则。它类似于数学中的集合论，但专注于符号序列的合法性。所有由a和b组成的字符串（如abaab）可以构成一个形式化语言。所有合法的算术表达式（如）也是一个形式化语言。形式化语言的核心是明确哪些字符串属于该语言。但它本身并不解释如何生成或验证这些字符串，只是定义结果。 2. 文法（Grammar）文法是生成形式化语言的规则系统。
形式化语言
weixin_33919941的博客
06-20 1205
背景   之前并没有学习过语言形式化理论这门课，最多也就是了解编译原理，知道有个符号系统能够抽象词法，语法。通过研究这套符合系统的内在规律，给出了验证模型和相应的算法。恩，这就是我所了解的计算机程序原理。本科毕业之后，我觉的自己已经很好地掌握了计算机（组成，结构和程序）。但我不太懂：计算机干了什么，以致我们需要它？  首先，这不是一个好问...
评论 2
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

李逍遥~

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付：¥1
获取中
扫码支付

您的余额不足，请更换扫码支付或充值

打赏作者

实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值