A New Method for State Simplification in Incompletely Specified Sequential Machines

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 E_k! Compared with other algorithms in use, this method is theoretically more strict, while its structure is simple and the results obtained are accurate.