A Technique for the Reduction of a Given Machine to a Minimal-State Machine | IEEE Journals & Magazine | IEEE Xplore