编译原理-第三章 词法分析-3.6 有限自动机
有限自动机
- 定义:
- 状态图的形式化表示,指明了一个开始状态,一个或多个接受状态,以及状态集、输入字符集和状态间的转换集合
- 一个自动机接受输入字符串x:
- 当且仅当对应的转换图中存在一条从开始状态到某个接受状态的路径, 使得该路径中各条边的标号组成字符串x
- 自动机定义(接受的语言):
- 是从开始状态到某个接受状态的所有路径上的标号串的集合
一、不确定的有限自动机(NFA)
构成
特点
- 一个符号标记离开同一状态可以有多条边,并且空输入也可以作为标号
- 使用表格来记录NFA在扫描输入字符时可能进入的所有状态
示例
例1
例2
二、确定的有限自动机(DFA)
构成
特点
- 任何一个状态对于任意一个输入符号有且只有一个转换
- 不允许在空输入上的转换
示例
例1
例2
例3
例4
三、NFA与DFA的联系与区别
参考——慕课-苏州大学
作者:方知有
Motto: 热爱可抵岁月漫长
本文版权归作者和博客园共有,欢迎转载,但未经作者同意必须在文章页面给出原文连接,否则保留追究法律责任的权利。
所有评论和私信都会在第一时间处理,如有问题或建议,请多多赐教!
支持博主:如果您觉得文章对您有帮助,可以点击文章右下角【推荐】一下。您的鼓励是作者坚持原创和持续写作的最大动力!