Text this: Switching and finite automata theory.