确定有限状态自动机(deterministic finite automaton)DFA

最新推荐文章于 2024-05-24 14:36:12 发布

独孤的大山猫

最新推荐文章于 2024-05-24 14:36:12 发布

阅读量4.2k

点赞数 2

分类专栏： MachineLearning 文章标签：自动机基本原理 DFA

MachineLearning 专栏收录该内容

15 篇文章

订阅专栏

google找了一点资料，做个记录。

维基百科定义：在计算理论中，确定有限状态自动机或确定有限自动机（英语：deterministic finite automaton, DFA）是一个能实现状态转移的自动机。对于一个给定的属于该自动机的状态和一个属于该自动机字母表{\displaystyle \Sigma }Σ的字符，它都能根据事先给定的转移函数转移到下一个状态（这个状态可以是先前那个状态，比如我用自动机实现认单词，如单词boost，o出来之后还可以是o，也就是可以回到原来的state）。

定义

确定有限状态自动机 ${\mathcal {A}}$ 是由

一个非空有限的状态集合 $Q$
一个输入字母表 $\Sigma$ （非空有限的字符集合）
一个转移函数 $\delta :Q\times \Sigma \rightarrow Q$ （例如： $\delta \left(q,\sigma \right)=p,\left(p,q\in Q,\sigma \in \Sigma \right)$ ）
一个开始状态 $s\in Q$
一个接受状态的集合 $F\subseteq Q$

所组成的5-元组。因此一个DFA可以写成这样的形式： ${\mathcal {A}}=\left(Q,\Sigma ,\delta ,s,F\right)$ 。

举个例子：图片来自google

评论 1

被折叠的条评论为什么被折叠?

到【灌水乐园】发言

查看更多评论

添加红包

成就一亿技术人!

hope_wisdom

发出的红包

实付元

使用余额支付

点击重新获取

扫码支付

钱包余额 0

抵扣说明：

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