A test for automata