李文立
个人信息Personal Information
教授
博士生导师
硕士生导师
性别:男
毕业院校:大连理工大学
学位:博士
所在单位:信息管理与信息系统研究所
学科:管理科学与工程
办公地点:管理与经济学部D501
电子邮箱:wlli@dlut.edu.cn
扫描关注
基于有限状态机最小化理论的同余关系研究
点击次数:
论文类型:期刊论文
发表时间:2009-05-15
发表刊物:计算机应用研究
收录刊物:PKU、ISTIC、CSCD
卷号:26
期号:5
页面范围:1746-1748
ISSN号:1001-3695
关键字:有限状态机;约简;代数系统;同余关系
摘要:对有限状态机(FA)的最小化理论进行了研究,提出了原机器M与其最小机器M′之间还存在一种更近的关系,即同余关系.为机器M与M′构造相关的代数系统,证明了两者之间存在同余关系.实验表明,同余关系对简化系统描述具有重要意义,为揭示原系统与约简系统之间蕴涵的更为深刻的内在关系提供了必要的理论基础.