On Automata Recognizing Birecurrent Sets