[学习日志]统计自然预言 形式语言与自动机

最新推荐文章于 2024-09-22 13:07:41 发布
最新推荐文章于 2024-09-22 13:07:41 发布
阅读量127 收藏 1
点赞数
文章标签： 自然语言处理
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/gjh1716718326/article/details/114576751
版权

形式语言与自动机

树

在这里插入图片描述

字符串

在这里插入图片描述
最后那个叫字符串的闭包
+表示正闭包,不包含空串

符号串乘积

在这里插入图片描述
乘积其实就是一种交叉的拼接组合

符号串集合闭包

在这里插入图片描述
闭包就是以当前集合为骑士元素，所有可能的组合方式
应该是无穷集合

正则式

在这里插入图片描述
在这里插入图片描述

正则式的闭包也是正则式
正则式的乘积也是正则式
正则式的拼接也是正则式

正则式与状态图

在这里插入图片描述
在这里插入图片描述

栈

在这里插入图片描述

描述语言的三种方法

在这里插入图片描述
穷举法显然是没有效率de

语法描述对应形式语言

形式语言

在这里插入图片描述
非常的代数，用符号代替字，用规则代替预言
也就是把预言看作了规则的总和

形式语法

在这里插入图片描述
也就是说一个串如果全都由终结符号组成的话，那么就不可再进行改写

推导

在这里插入图片描述
箭头上有+，表示经过多部推导，1次以上
箭头上有*，表示经过多部推导，0次以上

最左推导，最右推导，规范推导

在这里插入图片描述

举例

在这里插入图片描述

句型与句子

在这里插入图片描述
也就是说
可以用当前规则推导出来的字符串都是句子（必须都是终结符号）
可以从起始符S推到的句型都是句型
文法的所有句子的集合就是预言L

四种等级的文法

无约束文法

在这里插入图片描述

上下文有关文法 CSG

在这里插入图片描述
长生短就行，对来源和去处没有要求

上下文无关文法 CFG

在这里插入图片描述
这个有关文法和无约束文法很像
区别在于对来源进行了限制，除此以外没有任何约束
所以叫无关

正则文法

在这里插入图片描述
正则文法在上下文无关文法的基础上对去处做出了更多的要求
要求去处中至少包含一个终结符号

句子的派生树

在这里插入图片描述

文法二义性

在这里插入图片描述
在这里插入图片描述
在无二义性的文法中，树只有一个（推导过程可以多个）
在自然语言中，文法通常是有二义性
在人工语言中，文法通常是无二义性

自动机

在这里插入图片描述

有限自动机 DFA

在这里插入图片描述
五元组分别对应：终结符号集合，非终结符号集合，规则集合

有限自动机示意图

在这里插入图片描述

状态转换图

在这里插入图片描述

语言定义

在这里插入图片描述
如果自动机从初始状态，经过x，并到达最终状态。x就是自动机定义的语言

不确定有限自动机 NFA

在这里插入图片描述

DFA与NFA的区别

在这里插入图片描述
在确定有限自动机中，相同输入只有一个输出
在不确定有限自动机中，相同输入可以有多个输出
NFA的状态转换方法不唯一

文法和自动机的关系

在这里插入图片描述

由文法构造自动机的方式

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
T类似一种中间状态，在文法中不存在，但在自动机中是存在的

由自动机到正则文法

在这里插入图片描述

从文法可以唯一确定语言，从语言不能唯一确定文法

在这里插入图片描述
和有限自动机唯一的不同是，多了一个下推存储器
下推存储器是一个栈

下推自动机 PDA

在这里插入图片描述

下推自动机示意图

在这里插入图片描述
和有限自动机唯一的不同是，多了一个下推存储器
下推存储器是一个栈

映射关系

在这里插入图片描述

符号约定

在这里插入图片描述

图灵机

在这里插入图片描述

图灵机定义

在这里插入图片描述

图灵机的解释

在这里插入图片描述
在这里插入图片描述

线性带限自动机

在这里插入图片描述

各类别自动机的区别和联系

在这里插入图片描述
限制越少，存储越难，所需要的机制就越复杂

在这里插入图片描述

烫烫烫烫的若愚
关注
编译原理中有穷自动机的c++实现
godmanxu的博客
04-05 9675
       有穷自动机，也称有限自动机，作为一种识别装置，能够准确的识别正规集，即识别正规文法所定义的语言和正规式所表示的集合。引入有穷自动机理论，正是为词法分析程序的自动构造寻找特殊的方法和工具。       有穷自动机分为两类：确定的有穷自动机（Deterministic Finite Automata,DFA)和不确定的有穷自动机（Nodeterminister Finite Automa...
计算机算法常用术语中英对照（分为两部分 其中一部分表格形式 ）
weixin_30488085的博客
06-25 4891
第一部分 Data Structures 基本数据结构 Dictionaries 字典 Priority Queues 堆 Graph Data Structures 图 Set Data Structures 集合 Kd-Trees 线段树 Numerical Problems 数值问题 Solving Linear Equations 线性方程组 B...
【学习笔记】正则语言的可检验性（性质检验）
一只热爱奔跑的程序猿
04-21 1万+
英文标题：Regular Languages are Testable with a Constant Number of Queries 中文标题：正则语言是可检测地 免费下载链接：Citeseer 序言 最近在赶很多事情，忙的确实不可开交，还是抽了一天时间把这篇paper过了主体部分（前三节），本文是Property Testing一文中4.24.24.2节检验正则语言的一个延申，主要是笔者试图实现该检验算法时发现前者的表述很不完整，而且有不少错误，于是还是去翻了一下原作者的文章（即本文的参考p..
AAAI2020论文列表（中英对照）
dovings的博客
07-04 6057
AAAI2020论文列表（中英对照）
运行时验证概述
陈止风的博客
02-01 2545
来源自我的博客 http://www.yingzinanfei.com/2017/02/01/yunxingshiyanzhenggaishu/运行时验证的概述本文将简要介绍运行时验证技术。先给出运行时验证的定义，与和知名的验证技术像模型检测对比并给出测试，同时指出运行时验证的特点。然后，像面向监控编程的运行时验证扩展和基于监控的运行时反射会被简要描述并讨论他们的相同与差异。最后，指出使用运行时
经典箴言和人生感悟
南阳理工学院CSDN高校俱乐部 的专栏
10-14 1万+
lihongmei0我的：收件箱资源博客空间设置|帮助|退出 首页 业界 移动 云计算 研发 论坛 博客 下载 更多 人的一生中只有七次机会，平均每七年拥有一次，大概在25岁到75岁，第一次通常抓不到，因为太年轻，最后一次也抓不到，因为太老。中途还有2次因为自己错过，所以抓不到。所以对于人来说人真正才会有三次机会，人的一生真正只有三次，只有称为能改变自己命运的机会才可以称作是机会。其
【经典箴言 || 人生感悟 】//wodeganwu3034 == 8. 回溯做过的事情，如Review自己曾经写过的代码或者设计，思考为什么会这么做，有没有更好的方法==
热门推荐
qq_29301113的博客
01-12 4万+
人的一生中只有七次机会，平均每七年拥有一次，大概在25岁到75岁，第一次通常抓不到，因为太年轻，最后一次也抓不到，因为太老。中途还有2次因为自己错过，所以抓不到。所以对于人来说人真正才会有三次机会，人的一生真正只有三次，只有称为能改变自己命运的机会才可以称作是机会。其实人生的机会很快就会过去。能真正抓住机会的人，首先靠的是自己个人的能力；其次靠的是环境。 一个人如果素质不好，行为不好，那么即使你再...
【经典箴言 || 人生感悟 】
05-17 4万+
人的一生中只有七次机会，平均每七年拥有一次，大概在25岁到75岁，第一次通常抓不到，因为太年轻，最后一次也抓不到，因为太老。中途还有2次因为自己错过，所以抓不到。所以对于人来说人真正才会有三次机会，人的一生真正只有三次，只有称为能改变自己命运的机会才可以称作是机会。其实人生的机会很快就会过去。能真正抓住机会的人，首先靠的是自己个人的能力；其次靠的是环境。 一个人如果素质不好，行为不好，那么即使你
重点必考题：区块链百万年薪人才招聘，必会这58个知识点
weixin_34195546的博客
04-24 619
2019独角兽企业重金招聘Python工程师标准>>> ...
bupt形式语言与自动机作业答案
05-05
bupt形式语言与自动机作业答案 本资源为BUPT形式语言与自动机作业答案，包括第二章到第三章的习题答案。第二章习题答案包括找出右线性文法、构造上下文无关文法和找出由下列各组生成式产生的语言等。第三章习题答案...
北京邮电大学形式语言与自动机2020期末考试题
03-04
2. **自动机**：自动机是一种理论计算模型，包括有限状态自动机（FSM）、确定型有限状态自动机（DFA）、非确定型有限状态自动机（NFA）以及有穷状态自动机与上下文无关文法（CFG）之间的转换关系。自动机被用来识别...
NUAA南航 形式语言与自动机编程作业 CYK算法.zip
01-11
《形式语言与自动机编程作业：深入理解CYK算法》 在计算机科学领域，形式语言与自动机理论是研究计算过程和语言结构的基础学科。它为编译器设计、正则表达式、语法分析等提供了理论支持。在这个编程作业中，我们将...
哈工大形式语言与自动机历年试题
03-04
总的来说，哈工大形式语言与自动机历年试题不仅是学习者检验自我水平的有效途径，也是深化理论知识，提升问题解决能力的良好平台。通过深入研究这些试题，你可以更好地理解形式语言与自动机的精髓，为未来的学习和...
形式语言与自动机理论--第六章(蒋宗礼PPT学习教案.pptx
10-01
形式语言与自动机理论 形式语言与自动机理论是计算机科学中两个紧密相关的领域。形式语言是指用某种语言来描述和规则化的语言系统，而自动机理论是研究自动机的性质和行为的学科。它们是计算机科学的基础理论，广泛...
计算机前沿技术-人工智能算法-大语言模型-最新论文阅读-2024-09-18
09-18 1250
计算机人工智能前沿，大语言模型方向5篇论文速读。计算机前沿技术，人工智能算法，大语言模型，LLM，提示词，最新论文阅读
TaskRes: Task Residual for Tuning Vision-Language Models
weixin_50917576的博客
09-19 817
大规模视觉语言模型(VLMs)在数十亿级数据上进行了预训练，学习了一般的视觉表示和广义的视觉概念。原则上，VLMs的良好知识结构在转移到数据有限的下游任务时应该得到适当的继承。然而，大多数针对VLMs的高效迁移学习(ETL)方法要么破坏先验知识，要么过度偏向先验知识，例如，提示调优(PT)丢弃预训练的基于文本的分类器并构建新的分类器，而适配器式调优(AT)完全依赖于预训练的特征。
计算机前沿技术-人工智能算法-大语言模型-最新论文阅读-2024-09-19
09-19 1557
计算机人工智能前沿进展，大语言模型方向，最新研究论文，LLM。计算机前沿技术，人工智能算法，大语言模型，LLM，提示词，最新论文阅读
NLP 主流应用方向
最新发布
xymspace
09-22 180
【代码】NLP 主流应用方向。
形式语言与自动机理论：深度探讨与关键问题
形式语言与自动机学习方法研究是计算机科学领域的重要课题，它主要探讨计算理论中的三大支柱——形式语言与自动机理论、可计算性理论和计算复杂性理论。本文由电子科技大学的陈文宇博士撰写，他专注于计算机应用技术...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

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

余额充值