基于有限状态机最小化理论的同余关系研究

• 作者: 李文立 郭凯红
• 来源期刊: 计算机应用研究
• 关键词: 有限状态机 约简 代数系统 同余关系
• 年，卷（期）: 2009,（5）
• 所属期刊栏目: 软件技术研究
• 页码范围: 1746-1748
• 页数: 3页
• 分类号: TP301.1
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2009.05.042

摘要

对有限状态机(FA)的最小化理论进行了研究,提出了原机器M与其最小机器M′之间还存在一种更近的关系,即同余关系.为机器M与M′构造相关的代数系统,证明了两者之间存在同余关系.实验表明,同余关系对简化系统描述具有重要意义,为揭示原系统与约简系统之间蕴涵的更为深刻的内在关系提供了必要的理论基础.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李文立	大连理工大学管理学院	42	718	15.0	26.0
2	郭凯红	大连理工大学管理学院	3	132	2.0	3.0