Text this: An introduction to automata theory & formal languages