A new method for state simplification in incompletely specified sequential machines

Abstract

This paper presents a method for state simplification in incompletely specified sequential machines. The new method adopts Inclusive-OR operation of column vectors for multi-level output matrix Ek! Compared with other algorithms in use, this method is theoretically more strict, while its structure is simple and the results obtained are accurate.