Míreanna comhchosúla: Switching and finite automata theory