Symbolic Implementation of Alternating Automata