非确定型有穷自动机的极小化

• 作者: 李翰芳 许道云
• 来源期刊: 吉林大学学报(理学版)
• 学科: 工学
• 关键词: 确定型有穷自动机 非确定型有穷自动机 等价关系 状态极小化
• 年，卷（期）: 2007,（4）
• 所属期刊栏目: 计算机科学
• 页码范围: 582-588
• 页数: 7页
• 分类号: TP301
• 字数: 4502字
• 语种: 中文
• DOI: 10.3321/j.issn:1671-5489.2007.04.016

摘要

利用自动机状态集上的等价关系对自动机的状态集进行极小化, 从而得到与原自动机功能等价的极小化自动机. 通过两台确定型有穷自动机(DFA)的连接, 构造一台非确定型有穷自动机(NFA). 利用这两台确定型有穷自动机状态集上的等价关系, 可以构造这台非确定型有穷自动机状态集上的等价关系, 从而对这台非确定型有穷自动机进行极小化. 结果表明这台非确定型有穷自动机的极小化自动机的状态复杂度, 不大于对那两台确定型有穷自动机的极小化自动机进行连接得到的非确定型有穷自动机的状态复杂度;并且自动机在等价关系基础上进行极小化时不改变识别语言.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	许道云	贵州大学计算机科学与技术学院	125	460	12.0	16.0
2	李翰芳	贵州大学理学院	5	19	3.0	4.0