Title: Applied automata theory