Title: Second Course in Formal Languages and Automata Theory