Seol mar théacs é seo: Switching and finite automata theory /