王文章 韩俊刚 刘科成 顾秋心 张如健 刘向群 田彰德 田绍槐 周凭栏

矩阵相乘 相容类 状态集合 快速算法 状态映射矩阵 状态化简 判别矩阵 同步序列 约束表 MOORE型 最大相容类 数学方法 计算机算法 并行算法 关系矩阵 等价状态 时序电路 最小闭覆盖 迭代公式 状态转移矩阵 算法与实现