编译原理 —— 有穷自动机(FA)

本文深入探讨了有穷自动机(FA)的定义,包括FA模型、转换图和定义的语言。重点介绍了最长子串匹配原则,以及确定的有穷自动机(DFA)和非确定的有穷自动机(NFA),特别是ε-NFA的概念及其与DFA的等价性。通过实例展示了FA如何识别特定字符串集,揭示了NFA在表示上的直观性和DFA在实现上的优势。
摘要由CSDN通过智能技术生成

在这里插入图片描述

有穷自动机的定义

系统只需要根据当前所处的状态和当前面临的输入信息就可以决定系统的后继行为。当前状态+当前输入=后继行为


FA模型

在这里插入图片描述


FA转换图

在这里插入图片描述

  • 结点:FA的状态
    • 初始状态(开始状态):只有一个,由start箭头指向
    • 终止状态(接收状态):可以有多个,用双圈表示
  • 带标记的有向边:如果对于输入a,存在一个从状态p到状态q的转换,就在p、q之间画一条有向边,并标记上a。(如图中0到1)

FA定义的语言

评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值