基于关系矩阵的状态等价类集生成算法

• 作者: 任传成 史大光 孙志卓 王宝仁
• 来源期刊: 微电子学与计算机
• 关键词: 等价类 状态化简 关系矩阵 数字设计
• 年，卷（期）: 2008,（4）
• 页码范围: 136-138
• 页数: 3页
• 分类号: TN79+1|TP331.1
• 语种: 中文

摘要

提出一种基于关系矩阵的状态等价类集生成算法,给出了关系矩阵的生成规则,以及通过化简关系矩阵获得状态等价类集的过程,算法特别适用于状态完全确定的包含多个初始状态的大规模数字系统设计.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	任传成	德州学院计算机系	37	101	6.0	7.0
2	史大光	山东科技大学机械电子工程学院	21	62	5.0	6.0
3	孙志卓	德州学院计算机系	17	106	7.0	10.0
4	王宝仁	德州学院计算机系	1	0	0.0	0.0