HSM—不完全规定有限状态机状态化简的启发式算法

摘要：

本文提出不完全规定有限状态机状态化简的启发式算法HSM(heuristic state minimizer).它从最大相容集出发生成闭覆盖;再以这个闭覆盖为候选集,对修选集进行调整,生成最小或接近最小闭覆盖.实验结果表明:该算法在化简结果与最近的最好的算法结果相同的情况下,进一步提高了运算速度,比Imtiaz Ahmad<”*>.A.Shoba.Das在2001年发表的文章”8”中提出的VO/D算法提高速度达84﹪,比Rho JK.Hachtei GD.Somenzi F在1994年发表的文章”9”中提出的STAMINA算法提高达69﹪.

关键词： 控制器综合 有限状态机 状态化简

作者: 胡恒 边计年 薛宏熙

作者单位: 清华大学计算机科学与技术系(北京)

会议类型: 国内会议

会议名称: 企业信息化高级论坛暨全国第12届CAD/CG学术会议

会议地点: 贵阳

会议语种:中文

页码: 553-556

在线出版日期: 2002-08-20（万方平台首次上网日期，不代表论文的发表时间）