An Algebraic Method for Minimizing the Number of States in an Incomplete Sequential Machine | IEEE Journals & Magazine | IEEE Xplore