Symbolic Algorithms for Finite Automata