Tag Archives: Reduction of Incompletely Specified Automata