Text this: Theory of automata & forml languages