Geahča maid: Switching and finite automata theory