Complement computation for DFA