Văn bản này: Taxonomies and toolkits of regular language algorithms /