非完全确定有限状态机最小化有效算法的研究

摘要：

有限状态机(FSM)综合中，状态化简对减少电路的复杂度是非常重要的，由于EDA综合系统的发展和需要，要求能够有效地对较大的FSM最小化.本文给出了一种有效的求解非完全确定有限状态机的状态最小化算法。该算法利用生成序列、动态构造搜索树、修剪、启发式深度搜索和分支限界等方法实现.

关键词： 有限状态机 非完全有限状态机 状态化简

作者: 李炜 许中卫 刘政怡 刘露露

作者单位: 安徽大学计算机学院,合肥 230039

会议类型: 国内会议

会议名称: 2005年“数字安徽”博士科技论坛

会议地点: 合肥

会议语种:中文

页码: 213-219

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