Text this: Introduction to switching and automata theory