Text this: A second course in formal languages and automata theory /