Welcome to Automata Formal Languages & Computability homepage