Text this: Solutions to selected problems to accompany switching and finite automata theory /