Extending the Definition of Prime Compatibility Classes of States in Incomplete Sequential Machine Reduction | IEEE Journals & Magazine | IEEE Xplore