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

作     者：孙志卓 史大光 任传成 王宝仁 SUN Zhi-zhuo;SHI Da-guang;REN Chuan-cheng;WANG Bao-ren

作者机构：德州学院计算机系山东德州253000 山东科技大学机械电子工程学院山东青岛266510 

出 版 物：《微电子学与计算机》 (Microelectronics & Computer)

年 卷 期：2008年第25卷第4期

页      码：136-138页

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

主 题 词：等价类 状态化简 关系矩阵 数字设计 

学科分类：080902[080902] 0809[工学-计算机类] 08[工学] 081201[081201] 0812[工学-测绘类] 

D　O　I：10.19304/j.cnki.issn1000-7180.2008.04.035

馆 藏 号：203326751...