求ISSM最小状态表的一种新算法
A New Method for Developing the Minimal State Table of ISSM′s
-
摘要: 本文对ISSM化简中的各主要步骤进行研究,按照先求覆盖后求闭合的新途径,给出了一个求ISSM最小状态表的完整算法.该算法规则性强,步骤清晰,已经用程序实现.Abstract: In this paper some research is made on the main steps for reducing incompletely specified sequential machines. A complete algorithm for finding the minimal state table is presented according to a new method to meet the cover requirement first and then the minimum and the closure.
下载: