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

A Relation Matrix Algorithm for the Equivalence Classes Set

作　　者：孙志卓[1] 史大光[2] 任传成[1] 王宝仁[2] 

机构地区：[1]德州学院计算机系,山东德州253000 [2]山东科技大学机械电子工程学院,山东青岛266510

出　　处：《微电子学与计算机》2008年第4期136-138,共3页Microelectronics & Computer

摘　　要：提出一种基于关系矩阵的状态等价类集生成算法,给出了关系矩阵的生成规则,以及通过化简关系矩阵获得状态等价类集的过程,算法特别适用于状态完全确定的包含多个初始状态的大规模数字系统设计.A relation matrix algorithm for the equivalence classes set is presented. Firstly, the rules to generate the matrix are introduced, and then by reducing the matrix, the procedure to obtain the equivalence classes set is elaborated. The algorithm is especially suitable for the large-scale digital designs that may include lots of initial states.

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

分 类 号：TN791[电子电信—电路与系统] TP331.1[自动化与计算机技术—计算机系统结构]