Seol mar théacs é seo: Theory of automata, formal languages and computation