有限自动机和右线性文法笔记

最新推荐文章于 2022-04-17 15:22:38 发布

小萌新嘤嘤嘤

最新推荐文章于 2022-04-17 15:22:38 发布

阅读量1.6k

点赞数 4

分类专栏：形式语言与自动机

本文链接：https://blog.csdn.net/weixin_43931042/article/details/106254801

版权

有限自动机和右线性文法笔记

有限自动机

有限状态系统和有限自动机

有限状态自动机简称有限自动机，是一种具有离散输入输出系统的数学模型
有限状态系统具有任意有限数目的内部状态
状态转换：每当在某个状态读入一个字符时，便使状态改变为另一个状态，改变后的状态称为后继状态
状态转换的三种情况：(1)转换到自身；(2)转换的后继状态只有一个；(3)转换的后继状态有若干个
根据不同状态转换情况，将有限自动机分为确定的有限自动机DFA(Deterministic Finite Automaton)和不确定的有限自动机NFA(Non-deterministic Finite Automaton)
DFA:每次转换的后继状态都唯一的有限状态自动机
NFA:转换的后继状态不是唯一的有限状态自动机

形式定义确定的有限自动机

一台有限自动机可以由形式定义描述成以下五部分的表：
(1)状态集 $Q$ 有限状态的集合
(2)输入字母表 $T$ 允许的输入符号
(3)动作规则 $\delta$ 状态转换的规则
(4)起始状态 $q_0$
(5)接收状态集 $F$
形式定义确定的有限自动机DFA
确定的有限自动机DFA是一个五元组 $M=(Q,T,\delta,q_0,F)$
其中，

$Q$ ：有限状态的集合；
$T$ ：有限的输入字母表；
$\delta$ ：转换函数，从 $Q$ $\times$ $T$ 到 $Q$ 的映射；
$q_0$ ：初始状态， $q_0$ $\in$ $Q$
$F$ ：终止状态集， $F$ $\subseteq$ $Q$

需要注意，以上讨论的转换函数 $\delta$ 实在一个状态下仅仅输入一个字符的转换函数
当输入一个字符串时，转换函数用 $\delta'$ 表示，显然 $\delta‘$ 是从 $Q$ $\times$ $T^*$ 到 $Q$ 的映射
$\delta‘$ 的定义：

对 $\epsilon$ $\in$ $T^*$ ，有 $\delta'$ $($ $q$ , $\epsilon$ ) $=$ $q$ ;
对任意 $a$ $\in$ $T$ 和 $\omega$ $\in$ $T^*$ ，有 $\delta'$ $($ $q$ , $\omega$ $a$ ) $=$ $\delta$ $($ $\delta'$ $($ $q$ , $\omega$ $)$ , $a$ $)$

如果有 $\delta'$ $($ $q_0$ , $\omega$ $)$ = $p$ ， $p$ $\in$ $F$ ，那么称字符串 $\omega$ 被有限自动机 $M$ 接受，而 $L$ $($ $M$ $)$ 则表示 $M$ 接受的语言，表示为 $L(M)=\{ {\omega|\delta'(q_0,\omega)\in{F}}\}$

确定的有限自动机转换函数的描述方法

状态转换图
在这里插入图片描述

直接描述转换函数

$\delta$ $($ $q_0$ $,$ $a$ $)$ $=$ $q_1$ , $\delta$ $($ $q_0$ $,$ $b$ $)$ $=$ $q_2$
$\delta$ $($ $q_1$ $,$ $a$ $)$ $=$ $q_3$ $,$ $\delta$ $($ $q_1$ $,$ $b$ $)$ $=$ $q_1$
$\delta$ $($ $q_2$ $,$ $a$ $)$ $=$ $q_2$ , $\delta$ $($ $q_2$ $,$ $b$ $)$ $=$ $q_3$
$\delta$ $($ $q_3$ $,$ $a$ $)$ $=$ $\phi$ , $\delta$ $($ $q_3$ $,$ $b$ $)$ $=$ $\phi$

转换函数表

	$a$	$b$
$q_0$	$q_1$	$q_2$
$q_1$	$q_3$	$q_1$
$q_2$	$q_2$	$q_3$
$q_3$	$\phi$	$\phi$

不确定的有限自动机

形式定义不确定的有限自动机

形式定义不确定的有限自动机NFA
确定的有限自动机DFA是一个五元组 $M=(Q,T,\delta,q_0,F)$
其中，

$Q$ ：有限状态的集合；
$T$ ：有限的输入字母表；
$\delta$ ：转换函数，从 $Q$ $\times$ $T$ 到 $2^Q$ 的映射；（当NFA在某一个状态下输入一个字符时，可转换的后继状态是 $Q$ 的一个子集）
$q_0$ ：初始状态， $q_0$ $\in$ $Q$
$F$ ：终止状态集， $F$ $\subseteq$ $Q$
与DFA相似，当NFA在某一个状态下输入了一个字符串时，其转换函数 $\delta$ 应改为 $\delta'$
$\delta'$ 的定义如下
对 $\epsilon$ $\in$ $T^*$ ，有 $\delta'$ $($ $q$ , $\epsilon$ ) $=$ $q$ ;
对任意 $a$ $\in$ $T$ 和 $\omega$ $\in$ $T^*$ ，有 $\delta'$ $($ $q$ , $\omega$ $a$ ) $=$ { $p$ |对 $\delta'$ $($ $q$ , $\omega$ $)$ 中某状态 $r$ ，且 $p$ 在 $\delta$ $($ $r$ , $a$ $)$ 内}；
$\delta'$ $($ $P$ , $\omega$ $)$ = $\bigcup_{q\in{P}}$ $\delta'$ $($ $q$ , $\omega$ $)$ ， $P$ $\subseteq$ $Q$
NFA可接受的语言为 $L(M)=\{\omega|\delta'(q_0,\omega)含F中的一个状态\}$

不确定的有限自动机转换函数描述方法

状态转移图
在这里插入图片描述
直接描述转移函数
$\delta$ $($ $q_0$ , $a$ $)$ ={ $q_0$ , $q_1$ }， $\delta$ $($ $q_0$ , $b$ $)$ ={ $q_0$ , $q_3$ }， $\delta$ $($ $q_0$ , $c$ $)$ ={ $q_0$ , $q_5$ }
$\delta$ $($ $q_1$ , $a$ $)$ ={ $q_2$ }， $\delta$ $($ $q_1$ , $b$ $)$ = $\phi$ ， $\delta$ $($ $q_1$ , $c$ $)$ = $\phi$
$\delta$ $($ $q_2$ , $a$ $)$ ={ $q_2$ }， $\delta$ $($ $q_2$ , $b$ $)$ ={ $q_2$ }， $\delta$ $($ $q_2$ , $c$ $)$ ={ $q_2$ }
$\delta$ $($ $q_3$ , $a$ $)$ = $\phi$ ， $\delta$ $($ $q_3$ , $b$ $)$ ={ $q_4$ }， $\delta$ $($ $q_3$ , $c$ $)$ = $\phi$
$\delta$ $($ $q_4$ , $a$ $)$ ={ $q_4$ }， $\delta$ $($ $q_4$ , $b$ $)$ ={ $q_4$ }， $\delta$ $($ $q_4$ , $c$ $)$ ={ $q_4$ }
$\delta$ $($ $q_5$ , $a$ $)$ = $\phi$ ， $\delta$ $($ $q_5$ , $b$ $)$ = $\phi$ ， $\delta$ $($ $q_5$ , $c$ $)$ ={ $q_6$ }
$\delta$ $($ $q_6$ , $a$ $)$ ={ $q_6$ }， $\delta$ $($ $q_6$ , $b$ $)$ ={ $q_6$ }， $\delta$ $($ $q_6$ , $c$ $)$ ={ $q_6$ }

转换函数表

	$a$	$b$	$c$
$q_0$	{ $q_0$ , $q_1$ }	{ $q_0$ , $q_3$ }	{ $q_0$ , $q_5$ }
$q_1$	{ $q_2$ }	$\phi$	$\phi$
$q_2$	{ $q_2$ }	{ $q_2$ }	{ $q_2$ }
$q_3$	$\phi$	{ $q_4$ }	$\phi$

最低0.47元/天解锁文章

小萌新嘤嘤嘤

关注

4
点赞
踩
17

收藏

觉得还不错? 一键收藏
0
评论
有限自动机和右线性文法笔记

有限自动机和右线性文法笔记有限自动机有限状态系统和有限自动机有限状态自动机简称有限自动机，是一种具有离散输入输出系统的数学模型有限状态系统具有任意有限数目的内部状态状态转换：每当在某个状态读入一个字符时，便使状态改变为另一个状态，改变后的状态称为后继状态状态转换的三种情况：(1)转换到自身；(2)转换的后继状态只有一个；(3)转换的后继状态有若干个根据不同状态转换情况，将有限自动机分为确定的有限自动机DFA(Deterministic Finite Automaton)和不确定的有限自动机NF
复制链接

扫一扫