On the Equivalence of Automata for KAT-expressions