Minimization of the state table of completely and incompletely specified sequential machines