Done automata recognize a string