2 6 Fe b 20 11 Nondeterministic automata : equivalence , bisimulations , and uniform relations ✩