Seol mar théacs é seo: Taxonomies and toolkits of regular language algorithms /