学习编译原理Time08 ~ 确定的有穷自动机及算法实现

小浩笔记

共 923字,需浏览 2分钟

 ·

2021-04-27 19:33

有穷自动机(FA)分为确定的有穷自动机(DFA)和不确定的有穷自动机(NFA).


本笔记主要记录的是确定的有穷自动机(DFA)

M=(S ,  ∑ , δ , s0, F )

S:有穷状态集

:输入字母表,即输入符号集合。假设 ε 不是∑中的元素

δ:将S X ∑映射到S的转换函数。 s ∈S ,a∈∑,δ(s,a)表示从状态s出发,沿着标号为a的边所能到达的状态

s0:开始状态(或初始状态),s0∈S

F:接收状态(或终止状态)集合,FS


示例一个确定的有穷自动机如下:

根据转换图可以看出,状态0遇到符号a的时候,就进入状态1,或状态0遇到符号b的时候,依然还是状态0,同样的道理,状态1遇到符号a的时候,还保持状态1,遇到符号b的时候就进入状态2;状态2遇到符号1的时候回到状态1,遇到符号b的时候进入状态3;状态3有个圆点表示终态,状态遇到符号a就进入状态1,遇到符号符号b就回到状态0。转换表也可以表示确定的有穷自动机。



接下来谈谈DFA的算法实现

输入:以文件结束符eof结尾的字符串x。DFA的开始状态s0,接收状态集F,转换函数move

输出:如果DFA成功接收字符串x,则回答“yes”,否则回答“no”。

方法:将下述算法应用于输入串x。

s=s0;
c=nextChar();
while(c!=eof)
{
  s=move(s,c);
  c=nextChar();
}
if(s 在 F 中)
  return "yes";
else 
  return "no";


函数nextChar()返回输入串x的下一个符号

函数move(s, c)表示从状态s出发,沿着标记为c的边所能到达的状态





记录
点点滴滴的笔记
欢迎关注,共同学习


小浩笔记

浏览 38
点赞
评论
收藏
分享

手机扫一扫分享

分享
举报
评论
图片
表情
推荐
点赞
评论
收藏
分享

手机扫一扫分享

分享
举报