FAQs for Automata