Text this: Theory of finite automata