Title: Applied Automata Theory