On the Equivalence of Finite-State Sequential Machine Models | IEEE Journals & Magazine | IEEE Xplore