其他分享
首页 > 其他分享> > [学习日志]统计自然预言 形式语言与自动机

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

作者：互联网

形式语言与自动机

树

在这里插入图片描述

字符串

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

符号串乘积

在这里插入图片描述

符号串集合闭包

在这里插入图片描述

正则式

在这里插入图片描述

正则式与状态图

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

栈

在这里插入图片描述

描述语言的三种方法

在这里插入图片描述

形式语言

在这里插入图片描述

形式语法

在这里插入图片描述

推导

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

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

在这里插入图片描述

举例

在这里插入图片描述

句型与句子

在这里插入图片描述
也就是说可以用当前规则推导出来的字符串就都是句子（必须都是终结符号）

四种等级的文法

无约束文法

在这里插入图片描述

上下文有关文法

在这里插入图片描述
长生短

上下文无关文法 CFG

正则文法

句子的派生树

在这里插入图片描述

文法二义性

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

自动机

在这里插入图片描述

有限自动机

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

有限自动机示意图

状态转换图

在这里插入图片描述

语言定义

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

不确定有限自动机 NFA

在这里插入图片描述

DFA与NFA的区别

在这里插入图片描述
NFA的状态转换方法不唯一

文法和自动机的关系

在这里插入图片描述

由文法构造自动机的方式

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

由自动机到正则文法

在这里插入图片描述

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

CFG与下推自动机

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

下推自动机 PDA

在这里插入图片描述

映射关系

在这里插入图片描述

符号约定

图灵机和线性带限自动机机

在这里插入图片描述

图灵机定义

在这里插入图片描述

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

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

在这里插入图片描述

标签：文法,二义性,推导,形式语言,下推,正则,日志,自动机
来源： https://blog.csdn.net/gjh1716718326/article/details/114576751