Dunworth, A.; Hartog, H. V. An efficient state minimization algorithm for some special classes of incompletely specified sequential machines. (English) Zbl 0411.68053 IEEE Trans. Comput. 28, 531-535 (1979). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 Document MSC: 68Q45 Formal languages and automata 94C10 Switching theory, application of Boolean algebra; Boolean functions (MSC2010) 94C99 Circuits, networks Keywords:state minimization algorithm; image-equivalence classes; incompletely specified sequential machines; minimal covering machines PDFBibTeX XMLCite \textit{A. Dunworth} and \textit{H. V. Hartog}, IEEE Trans. Comput. 28, 531--535 (1979; Zbl 0411.68053) Full Text: DOI