Formal-Languages-and-Automata Topics