When does abstraction help?
An abstraction of a DFA is helpful if it leads to a smaller DFA. We show that abstraction is not always helpful. We show that deciding whether an abstraction is helpful is PSPACE-complete.
abstraction formal methods deterministic finite automata