Minimization of Incompletely Specified Sequential Machines

Rao, CVS and Biswas, NN (1975) Minimization of Incompletely Specified Sequential Machines. In: IEEE Transactions on Computers, 24 (11). pp. 1089-1100.

PDF getPDF.pdf - Published Version Restricted to Registered users only Download (3MB) | Request a copy

Abstract

A simple yet efficient method for the minimization of incompletely specified sequential machines (ISSMs) is proposed. Precise theorems are developed, as a consequence of which several compatibles can be deleted from consideration at the very first stage in the search for a minimal closed cover. Thus, the computational work is significantly reduced. Initial cardinality of the minimal closed cover is further reduced by a consideration of the maximal compatibles (MC's) only; as a result the method converges to the solution faster than the existing procedures. "Rank" of a compatible is defined. It is shown that ordering the compatibles, in accordance with their rank, reduces the number of comparisons to be made in the search for exclusion of compatibles. The new method is simple, systematic, and programmable. It does not involve any heuristics or intuitive procedures. For small- and medium-sized machines, it canle used for hand computation as well. For one of the illustrative examples used in this paper, 30 out of 40 compatibles can be ignored in accordance with the proposed rules and the remaining 10 compatibles only need be considered for obtaining a minimal solution.

Item Type:	Journal Article
Publication:	IEEE Transactions on Computers
Publisher:	IEEE
Additional Information:	Copyright 1975 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.
Keywords:	Basic compatible;deletion of compatibles;exclusion of compatibles;incompletely specified sequential machine; minimal closed cover;min-max cover;primary compatible;prime closed sets of compatibles;rank of a compatible;symbolic compatible.
Department/Centre:	Division of Electrical Sciences > Electrical Communication Engineering Division of Electrical Sciences > Computer Science & Automation
Date Deposited:	08 Feb 2010 11:06
Last Modified:	27 Feb 2019 09:01
URI:	http://eprints.iisc.ac.in/id/eprint/23812

Actions (login required)

View Item